Canonical Conditional Rewrite Systems.

Nachum Dershowitz Mitsuhiro Okada G. Sivakumar

Published in: CADE (1988)

Keyphrases

rewrite systems
term rewriting
quantifier free
active rules
knuth bendix
expert systems
theorem prover
theorem proving
knowledge base
integrity constraints
conditional probabilities