Computing finite variants for subterm convergent rewrite systems.

Published in: UNIF (2011)

Keyphrases

rewrite systems
term rewriting
databases
knuth bendix
active rules
quantifier free
web services
database systems