Solving Divergence in Knuth-Bendix Completion by Enriching Signatures.

Muffy Thomas Phil Watson

Published in: AMAST (1991)

Keyphrases

knuth bendix
term rewriting
rewrite systems
function symbols
database
expert systems
theorem proving
logic programming
theorem prover