The Deductive Synthesis of Imperative LISP Programs.

Zohar Manna, Richard J. Waldinger

Browse the full AAAI paper archive.