Critical-pair criteria for the Knuth-Bendix completion procedure.

Leo Bachmair Nachum Dershowitz

Published in: SYMSAC (1986)

Keyphrases

knuth bendix
term rewriting
rewrite systems
function symbols
theorem prover
database
theorem proving
expert systems
xml documents
data model
probability distribution
operational semantics