An algebraic approach to unification under associativity and commutativity

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

A Unification Algorithm for Associative-Commutative Functions

Mark E. Stickel · Journal of the ACM · 1981 · 243 citations · Full text

Computing, Computer Science, Mathematics +6

An algorithm to generate the basis of solutions to homogeneous linear diophantine equations

Gérald Huet · Information Processing Letters · 1978 · 78 citations · Full text

Natural Sciences, Computer Science, Mathematics +6

Unification in Abelian semigroups

Alexander Herold, J�rgH. Siekmann · Journal of Automated Reasoning · 1987 · 52 citations · Full text

Natural Sciences, Mathematics, Representation Theory +6

Associative commutative pattern matching

J. M. Hvllot · International Joint Conference on Artificial Intelligence · 1979 · 48 citations

Natural Sciences, Computer Science, Mathematics +16