On Termination of Confluent One-Rule String-Rewriting Systems.

Kayoko Shikishima-Tsuji Masashi Katsura Yuji Kobayashi

Published in: Inf. Process. Lett. (1997)

Keyphrases

rewriting systems
active rules
rewriting rules
data structure
databases
query language