Alessandro Armando, Alan Smaill, Ian Green. Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. In ASE. pages 2-9, 1997. [doi]
@inproceedings{ArmandoSG97,
title = {Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm},
author = {Alessandro Armando and Alan Smaill and Ian Green},
year = {1997},
url = {http://computer.org/proceedings/ase/7961/79610002abs.htm},
tags = {programming paradigms, programming},
researchr = {https://researchr.org/publication/ArmandoSG97},
cites = {0},
citedby = {0},
pages = {2-9},
booktitle = {ASE},
}