Application of Theorem Proving to Problem Solving

Green. "Application of Theorem Proving to Problem Solving." International Joint Conference on Artificial Intelligence, 1969. doi:10.1016/B978-0-934613-03-3.50019-2

[Green. "Application of Theorem Proving to Problem Solving." International Joint Conference on Artificial Intelligence, 1969.](https://mlanthology.org/ijcai/1969/green1969ijcai-application/) doi:10.1016/B978-0-934613-03-3.50019-2

@inproceedings{green1969ijcai-application,
  title     = {{Application of Theorem Proving to Problem Solving}},
  author    = {Green, C. Cordell},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1969},
  pages     = {219-240},
  doi       = {10.1016/B978-0-934613-03-3.50019-2},
  url       = {https://mlanthology.org/ijcai/1969/green1969ijcai-application/}
}