Strong Sequentiality of Left-Linear Overlapping Rewrite Systems.

Jean-Pierre Jouannaud Walid Sadfi

Published in: CTRS (1994)

Keyphrases

rewrite systems
term rewriting
active rules
database systems
quantifier free
databases
information systems
logic programming
knuth bendix