Paul Jacquet, Marie-Laure Potet. Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis). In ECAI. pages 345-356, 1986.
@inproceedings{JacquetP86,
title = {Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis)},
author = {Paul Jacquet and Marie-Laure Potet},
year = {1986},
researchr = {https://researchr.org/publication/JacquetP86},
cites = {0},
citedby = {0},
pages = {345-356},
booktitle = {ECAI},
}