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

by C Hewitt