@article{oai:nagoya.repo.nii.ac.jp:00013084,
 author = {NAGAYA, Takashi and SAKAI, Masahiko and TOYAMA, Yoshihito},
 issue = {5},
 journal = {IEICE transactions on information and systems},
 month = {May},
 note = {Huet and Levy showed that index reduction is a normalizing strategy for every orthogonal strongly sequential term rewriting system. Toyama extended this result to root balanced joinable strongly sequential systems. In this paper, we present a class including all root balanced joinable strongly sequential systems and show that index reduction is normalizing for this class. We also propose a class of left-linear (possibly overlapping) NV-sequential systems having a normalizing strategy.},
 pages = {419--426},
 title = {Index Reduction of Overlapping Strongly Sequential Systems},
 volume = {E81-D},
 year = {1998}
}