Flatterms, discrimination nets, and fast term rewriting

Completion of a Set of Rules Modulo a Set of Equations

Jean-Pierre Jouannaud · SIAM Journal on Computing · 1986 · 376 citations

Computing, Computer Science, Programming Languages +5

Adventures in associative-commutative unification

Patrick Lincoln, Jim Christian · Journal of Symbolic Computation · 1989 · 52 citations

Natural Sciences, Computer Science, Algebra +9

Ternary Boolean algebra

A. A. Grau · Bulletin of the American Mathematical Society · 1947 · 50 citations · Full text

High-performance permutative completion

James Daniel Christian, Dallas Lankford, Bob Boyer · 1989 · 15 citations

Computing, Computer Science, Mathematics +8