Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures

Constraint logic programming

Joxan Jaffar, J.-L. Lassez · 1987 · 1.6K citations

Mathematical Programming, Engineering, Clp Systems +18

THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP

G. S. Makanin · Mathematics of the USSR-Sbornik · 1977 · 493 citations

Topological Semigroups, Free Semigroup, Transformation Semigroups +2

Completion of a Set of Rules Modulo a Set of Equations

Jean-Pierre Jouannaud · SIAM Journal on Computing · 1986 · 372 citations

Automated deduction by theory resolution

M.E. Stickel · Journal of Automated Reasoning · 1985 · 280 citations

Engineering, Automated Reasoning, Formal Methods +5

Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification.

Jean-Pierre Jouannaud, Claude Kirchner · OpenGrey (Institut de l'Information Scientifique et Technique) · 1991 · 258 citations

Algebraic Logic, Abstract Algebras, Engineering +7