Complexity of matching problems

Combinatorial Optimization: Algorithms and Complexity.

1984 • 6,247 citations

Simple Word Problems in Universal Algebras

1983 • 1,420 citations

Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.

1970 • 457 citations

Complete Sets of Reductions for Some Equational Theories

1981 • 416 citations

Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity

1974 • 257 citations

A Unification Algorithm for Associative-Commutative Functions

1981 • 244 citations

Associative commutative pattern matching

1979 • 46 citations

On equations including string variables

1982 • 3 citations