@inproceedings{ijcai1969p22,
  title     = {Application of Theorem Proving to Problem Solving},
  author    = {Green, C. Cordell},
  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     = {219--240},
  year      = {1969},
  month     = {5},
  note      = {Heuristic Problem Solving},
  url       = {https://ijcai.org/proceedings/1969/22},
}