---
title: "Theorem Proving by Covering Expressions"
authors:
  - "Lawrence J. Henschen"
  - "W. M. Evangelist"
doi: ""
url: "https://ijcai.org/proceedings/1977/123"
pdf: "https://ijcai.org/proceedings/1977/0123.pdf"
venue: "Proceedings of the Fifth International Joint Conference on Artificial Intelligence"
year: 1977
pages: "541-541"
track: "Theorem Proving"
keywords:
---

# Theorem Proving by Covering Expressions

Lawrence J. Henschen, W. M. Evangelist

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

## Abstract