---
title: "An Algorithm for Reasoning About Equality"
authors:
  - "Robert E. Shostak"
doi: ""
url: "https://ijcai.org/proceedings/1977/119"
pdf: "https://ijcai.org/proceedings/1977/0119.pdf"
venue: "Proceedings of the Fifth International Joint Conference on Artificial Intelligence"
year: 1977
pages: "526-526"
track: "Theorem Proving"
keywords:
---

# An Algorithm for Reasoning About Equality

Robert E. Shostak

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

## Abstract