An Algorithm for Reasoning About Equality

@inproceedings{Shostak1977AnAF,
  title={An Algorithm for Reasoning About Equality},
  author={Robert E. Shostak},
  booktitle={IJCAI},
  year={1977}
}
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.