A Survey of Rewrite Systems.

Peter H. Schmitt

Published in: CSL (1987)

Keyphrases

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