Knowledge and Reasoning in Program Synthesis.

Richard J. Waldinger, Zohar Manna

Browse the full IJCAI paper archive.