ArmandoSG99'

BibTeX

@article{DBLP:journals/ase/ArmandoSG99,
  author    = {Alessandro Armando and
               Alan Smaill and
               Ian Green},
  title     = {Automatic Synthesis of Recursive Programs: The Proof-Planning
               Paradigm},
  journal   = {Autom. Softw. Eng.},
  volume    = {6},
  number    = {4},
  year      = {1999},
  pages     = {329-356},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}