Predicate logic: a calculus for deriving programs (1977)

by K Clark, S Sickel
Venue:In Proceedings of IJCAI’77