@inproceedings{ijcai1969p29,
  title     = {PLANNER: A Language for Proving Theorems in Robots},
  author    = {Hewitt, Carl},
  booktitle = {Proceedings of the First International Joint Conference on
               Artificial Intelligence, {IJCAI-69}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Donald E. Walker and David C. Cooper},
  pages     = {295--302},
  year      = {1969},
  month     = {5},
  note      = {Theorem Proving},
  url       = {https://ijcai.org/proceedings/1969/29},
}