title = {Some Rules For The Automatic Synthesis Of Programs.},
author = {C. Cordell Green and David R. Barstow}, booktitle = {IJCAI}, pages = {232-239}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai75.html#GreenB75}, year = {1975}, description = {dblp}, date = {2005-02-15},
keywords = {dblp }
::