Planner: a language for proving theorems in robots (1969)

by C Hewitt
Venue:In: Proc. of IJCAI, pp 295–302