ML Anthology

Clark, Keith L.

1 publications

IJCAI 1977 Predicate Logic: A Calculus for the Formal Derivation of Programs Keith L. Clark, Sharon Sickel