A pure reasoning engine for programming by demonstration (0)

by M R Frank, J D Foley
Venue:In Proc. of UIST ’94