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. © 1978, ACM. All rights reserved.
Author supplied keywords
Cite
CITATION STYLE
APA
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
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free