Confluence of Terminating Conditional Rewrite Systems Revisited.

Bernhard Gramlich Claus-Peter Wirth

Published in: RTA (1996)

Keyphrases

rewrite systems
term rewriting
quantifier free
active rules
knuth bendix
theorem prover
theorem proving
data warehouse
operational semantics