Knowledge and reasoning in program synthesis

Zohar Manna, Richard Waldinger
1975 Artificial Intelligence  
doi:10.1016/0004-3702(75)90008-9 fatcat:4s3coow4zbdhrblftaz7ofxuwm