---
title: "A Hierarchical Approach to Theorem-Proving"
authors:
  - "Malcolm C. Harrison"
doi: ""
url: "https://ijcai.org/proceedings/1977/121"
pdf: "https://ijcai.org/proceedings/1977/0121.pdf"
venue: "Proceedings of the Fifth International Joint Conference on Artificial Intelligence"
year: 1977
pages: "529-532"
track: "Theorem Proving"
keywords:
---

# A Hierarchical Approach to Theorem-Proving

Malcolm C. Harrison

*Proceedings of the Fifth International Joint Conference on Artificial Intelligence*, pages 529-532.

## Abstract