Program Synthesis as a Theory Formation Tk: Problem Representations and Solution Methods (1986)

by S Amarel
Venue:in Machine Learning: An Artificial Intelligence Approach Vol.I