Complete sets of unifiers and matchers in equational theories

A Machine-Oriented Logic Based on the Resolution Principle

John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text

Computing, Computer Science, Decision Support Systems +4

An Efficient Unification Algorithm

Alberto Martelli, Ugo Montanari · ACM Transactions on Programming Languages and Systems · 1982 · 776 citations · Full text

Computing, Computer Science, Computer Systems +6

A unification algorithm for typed λ-calculus

G. Huet · Theoretical Computer Science · 1975 · 509 citations

Computing, Computer Science, Programming Languages +10

THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP

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

Natural Sciences, Computer Science, Mathematics +7

Complete Sets of Reductions for Some Equational Theories

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

Natural Sciences, Mathematics, Discrete Mathematics +7