Context unification with one context variable

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

Proving termination with multiset orderings

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

Computing, Computer Science, Algorithms +12

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

Affine relationships among variables of a program

Michael Karr · Acta Informatica · 1976 · 433 citations

Computing, Computer Science, Mathematics +12

Linear unification

Mike Paterson, Mark N. Wegman · Journal of Computer and System Sciences · 1978 · 280 citations

Computing, Computer Science, Algorithms +6