On Solving Divergence in Knuth-Bendix Completion.

Klaus P. Jantke

Published in: ADT (1988)

Keyphrases

knuth bendix
term rewriting
rewrite systems
function symbols
knowledge base
theorem proving
artificial intelligence