Only Prime Superpositions Need be Considered in the Knuth-Bendix Completion Procedure.

Deepak Kapur David R. Musser Paliath Narendran

Published in: J. Symb. Comput. (1988)

Keyphrases

knuth bendix
term rewriting
rewrite systems
function symbols
theorem proving
machine learning
general purpose
theorem prover
artificial intelligence
expert systems