The deductive synthesis of imperative LISP programs (1987)

by Z Manna, R Waldinger
Venue:In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87