Abstract Congruence Closure

Tree automata techniques and applications

Hubert Comon, Max Dauchet · 1997 · 1.2K citations · Full text

Proving termination with multiset orderings

Nachum Dershowitz, Zohar Manna · Communications of the ACM · 1979 · 532 citations · Full text

Program Checking, Engineering, Multiset Orderings +17

Fast Decision Procedures Based on Congruence Closure

Greg Nelson, Derek C. Oppen · Journal of the ACM · 1980 · 500 citations · Full text

Computational Complexity Theory, Engineering, Computational Complexity +16

The complexity of the word problems for commutative semigroups and polynomial ideals

Ernst Mayr, Albert R. Meyer · Advances in Mathematics · 1982 · 499 citations

Topological Semigroups, Abstract Algebra, Engineering +8

Complete Sets of Reductions for Some Equational Theories

Gerald E. Peterson, Mark E. Stickel · Journal of the ACM · 1981 · 409 citations · Full text