Fast Decision Procedures Based on Congruence Closure

The Design and Analysis of Computer Algorithms

1974 • 9,688 citations

Efficiency of a Good But Not Linear Set Union Algorithm

1975 • 1,348 citations

Variations on the Common Subexpression Problem

1980 • 356 citations

Complexity of finitely presented algebras

1977 • 154 citations

An algorithm for reasoning about equality

1978 • 122 citations

Reasoning about recursively defined data structures

1978 • 36 citations