Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis).

Paul Jacquet, Marie-Laure Potet

Browse the full ECAI paper archive.