Abstract Congruence Closure

• 1 January 2003
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 31  (2) , 129-168
• https://doi.org/10.1023/b:jars.0000009518.26415.49

Abstract

Keywords

• TERM REWRITING
• CONGRUENCE CLOSURE
• ASSOCIATIVE-COMMUTATIVE THEORIES