Predicate Logic: A Calculus for the Formal Derivation of Programs.

Keith L. Clark, Sharon Sickel

Browse the full IJCAI paper archive.