A Deductive Approach to Program Synthesis.

Zohar Manna, Richard Waldinger

Browse the full IJCAI paper archive.