@article{Green78a,
	title = { On program synthesis knowledge},
	author = {C.C. Green and D.R. Barstow},
	journal = { Artificial Intelligence},
	pages = {241-279},
	volume = { 10},
	year = {1978},
	biburl = {http://www.bibsonomy.org/bibtex/21d596baf73d4da433d6ff55bf99ecdc7/ip},
	__markedentry = {[schmid]},
	keywords = {imported }
}