%0 Journal Article %1 journals/ase/ArmandoSG99 %A Armando, Alessandro %A Smaill, Alan %A Green, Ian %D 1999 %J Autom. Softw. Eng. %K dblp %N 4 %P 329-356 %T Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. %U http://dblp.uni-trier.de/db/journals/ase/ase6.html#ArmandoSG99 %V 6

@article{journals/ase/ArmandoSG99, added-at = {2011-05-18T00:00:00.000+0200}, author = {Armando, Alessandro and Smaill, Alan and Green, Ian}, biburl = {https://www.bibsonomy.org/bibtex/2fe645eab27f7629e5d9e280ed32399a7/dblp}, ee = {http://dx.doi.org/10.1023/A:1008763422061}, interhash = {b0e6edfeebb3b448eabd45c297df8a0b}, intrahash = {fe645eab27f7629e5d9e280ed32399a7}, journal = {Autom. Softw. Eng.}, keywords = {dblp}, number = 4, pages = {329-356}, timestamp = {2011-05-19T11:38:42.000+0200}, title = {Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm.}, url = {http://dblp.uni-trier.de/db/journals/ase/ase6.html#ArmandoSG99}, volume = 6, year = 1999 }