The Automatic Synthesis of Systems of Recursive Programs.

Zohar Manna, Richard J. Waldinger

Browse the full IJCAI paper archive.