Fast Knuth-Bendix Completion with a Term Rewriting System Compiler.

Yoshihito Toyama

Published in: Inf. Process. Lett. (1989)

Keyphrases

knuth bendix
term rewriting
theorem proving
theorem prover
rewrite systems
operational semantics
programming language
general purpose
software systems
databases
knowledge base
constraint programming
inference rules