Toshinori Takai, Yuichi Kaji, Hiroyuki Seki. Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability. In Leo Bachmair, editor, Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings. Volume 1833 of Lecture Notes in Computer Science, pages 246-260, Springer, 2000.
Abstract is missing.