PLANNER: A Language for Proving Theorems in Robots (1969)

by Carl Hewitt
Venue:Proc. of IJCAI