Alessandro Armando, Alan Smaill, Ian Green. Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. Automated Software Engineering, 6(4):329-356, 1999.
@article{ArmandoSG99, title = {Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm}, author = {Alessandro Armando and Alan Smaill and Ian Green}, year = {1999}, tags = {programming paradigms, programming}, researchr = {https://researchr.org/publication/ArmandoSG99}, cites = {0}, citedby = {0}, journal = {Automated Software Engineering}, volume = {6}, number = {4}, pages = {329-356}, }