Unification in datastructure multisets

The algebraic theory of semigroups

1964 • 3,971 citations

A Machine-Oriented Logic Based on the Resolution Principle

1965 • 3,880 citations

Universal Algebra

1968 • 2,382 citations

A Unification Algorithm for Associative-Commutative Functions

1981 • 244 citations

Universal Unification

1984 • 128 citations

Associative-Commutative Unification

1984 • 91 citations

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

1978 • 77 citations

Unification in Abelian semigroups

1987 • 51 citations

Algorithm and bound for the greatest common divisor of n integers

1970 • 49 citations

Associative commutative pattern matching

1979 • 46 citations

Complexity of matching problems

1985 • 36 citations

An algebraic approach to unification under associativity and commutativity

1985 • 30 citations