Normalization Results for Typeable Rewrite Systems.

Steffen van Bakel Maribel Fernández

Published in: Inf. Comput. (1997)

Keyphrases

rewrite systems
term rewriting
quantifier free
knuth bendix
active rules
theorem prover
expert systems