An Introduction to Knuth-Bendix Completion.

Published in: Comput. J. (1991)

Keyphrases

knuth bendix
term rewriting
rewrite systems
function symbols
theorem prover
database design
theorem proving
machine learning
general purpose
database management systems
active rules