Simple Termination of Rewrite Systems.

Aart Middeldorp Hans Zantema

Published in: Theor. Comput. Sci. (1997)

Keyphrases

rewrite systems
term rewriting
quantifier free
active rules
knuth bendix
artificial intelligence
relational databases
integrity constraints
object oriented databases
theorem prover
theorem proving