ML Anthology

An Algorithm for Reasoning About Equality

Robert E. Shostak
IJCAI 1977 pp. 526-527
doi:10.1145/359545.359570 /ijcai/1977/shostak1977ijcai-algorithm/

Abstract

A simple technique for reasoning about equalities that is fast and complete for ground formulas with function symbols and equality is presented. A proof of correctness is given as well.

PDF Semantic Scholar

Cite

Text

Shostak. "An Algorithm for Reasoning About Equality." International Joint Conference on Artificial Intelligence, 1977. doi:10.1145/359545.359570

Markdown

[Shostak. "An Algorithm for Reasoning About Equality." International Joint Conference on Artificial Intelligence, 1977.](https://mlanthology.org/ijcai/1977/shostak1977ijcai-algorithm/) doi:10.1145/359545.359570

BibTeX

@inproceedings{shostak1977ijcai-algorithm,
  title     = {{An Algorithm for Reasoning About Equality}},
  author    = {Shostak, Robert E.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1977},
  pages     = {526-527},
  doi       = {10.1145/359545.359570},
  url       = {https://mlanthology.org/ijcai/1977/shostak1977ijcai-algorithm/}
}