Description and theoretical analysis (using schemata) of PLANNER: A language for proving theorems and manipulating models in a robot (1972)

by C Hewitt
Venue:Department of Computer Science, MIT