Associative-commutative discrimination nets

This publication has 7 references indexed in Scilit:

• Tight complexity bounds for term matching problems
  Information and Computation, 1992
• Compilation of pattern matching with associative-commutative functions
  Published by Springer Nature ,1991
• Rewrite Systems
  Published by Elsevier ,1990
• Automata-driven indexing of Prolog clauses
  Published by Association for Computing Machinery (ACM) ,1990
• Fast Knuth-Bendix completion: Summary
  Lecture Notes in Computer Science, 1989
• Complexity of matching problems
  Journal of Symbolic Computation, 1987
• A Catalogue of Canonical Term Rewriting Systems.
  Published by Defense Technical Information Center (DTIC) ,1980