Knuth-Bendix For Groups With Infinitely Many Rules.

David B. A. Epstein Paul J. Sanders

Published in: Int. J. Algebra Comput. (2000)

Keyphrases

knuth bendix
term rewriting
rewrite systems
database systems
database
general purpose
background knowledge
active rules