Associative commutative pattern matching

Simple Word Problems in Universal Algebras

1983 • 1,420 citations

An Additive Algorithm for Solving Linear Programs with Zero-One Variables

1965 • 699 citations

A data structure for manipulating priority queues

1978 • 290 citations

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

1974 • 257 citations

Conflunt reductions: Abstract properties and applications to term rewriting systems

1977 • 88 citations

Partial Orderings in Implicit Enumeration

1977 • 3 citations