title = {On Program Synthesis Knowledge.},
author = {C. Cordell Green and David R. Barstow}, journal = {Artif. Intell.}, number = {3}, pages = {241-279}, url = {http://dblp.uni-trier.de/db/journals/ai/ai10.html#GreenB78}, volume = {10}, year = {1978}, description = {dblp}, date = {2005-02-15},
keywords = {dblp }
::