Alessandro Armando Alan Smaill Ian Green Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. 329-356 1999 6 Autom. Softw. Eng. 4 db/journals/ase/ase6.html#ArmandoSG99