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. © 1978, ACM. All rights reserved.
CITATION STYLE
Shostak, R. E. (1978). An Algorithm for Reasoning About Equality. Communications of the ACM, 21(7), 583–585. https://doi.org/10.1145/359545.359570
Mendeley helps you to discover research relevant for your work.