Carl Hewitt. PLANNER: A Language for Proving Theorems in Robots. In IJCAI. pages 295-302, 1969.
@inproceedings{Hewitt69,
title = {PLANNER: A Language for Proving Theorems in Robots},
author = {Carl Hewitt},
year = {1969},
researchr = {https://researchr.org/publication/Hewitt69},
cites = {0},
citedby = {0},
pages = {295-302},
booktitle = {IJCAI},
}