A Hierarchical Approach to Theorem-Proving

Harrison. "A Hierarchical Approach to Theorem-Proving." International Joint Conference on Artificial Intelligence, 1977.

[Harrison. "A Hierarchical Approach to Theorem-Proving." International Joint Conference on Artificial Intelligence, 1977.](https://mlanthology.org/ijcai/1977/harrison1977ijcai-hierarchical/)

@inproceedings{harrison1977ijcai-hierarchical,
  title     = {{A Hierarchical Approach to Theorem-Proving}},
  author    = {Harrison, Malcolm C.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1977},
  pages     = {529-533},
  url       = {https://mlanthology.org/ijcai/1977/harrison1977ijcai-hierarchical/}
}