Flatterms, discrimination nets, and fast term rewriting

This publication has 9 references indexed in Scilit:

• Fast Knuth-Bendix completion with a term rewriting system compiler
  Information Processing Letters, 1989
• The Path-Indexing Method for Indexing Terms
  Published by Defense Technical Information Center (DTIC) ,1989
• Adventures in associative-commutative unification
  Journal of Symbolic Computation, 1989
• A compiler for a class of conditional term rewriting systems
  Published by Springer Nature ,1988
• Architecture for conditional term rewriting
  Published by Springer Nature ,1988
• Compiling conditional rewriting systems
  Published by Springer Nature ,1988
• A compiler for conditional term rewriting systems
  Published by Springer Nature ,1987
• Completion of a Set of Rules Modulo a Set of Equations
  SIAM Journal on Computing, 1986
• Ternary Boolean algebra
  Bulletin of the American Mathematical Society, 1947