@inproceedings{TakaiKajiSeki:FinitePathOverlapping:2000,
    Author = {Takai, Toshinori and Kaji, Yuichi and Seki, Hiroyuki},
    BookTitle = {Proc. of RTA'00},
    Editor = {Bachmair, Leo},
    File = {Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability - Takai, Kaji, Seki (0) (0) - a - a - u.PDF},
    ISBN = {978-3-540-67778-9},
    Keywords = {preservation of regularity},
    Pages = {246-260},
    Publisher = {Springer Berlin Heidelberg},
    Series = {LNCS},
    Title = {Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability},
    URL = {http://dx.doi.org/10.1007/10721975\_17},
    Volume = {1833},
    Year = {2000},
    bdsk-url-1 = {http://dx.doi.org/10.1007/10721975\_17},
    date-added = {2014-01-10 11:39:14 +0000},
    date-modified = {2015-09-24 17:02:34 +0000},
    doi = {10.1007/10721975_17}
}

@inproceedings{TakaiKajiSeki:FinitePathOverlapping:2000, Author = {Takai, Toshinori and Kaji, Yuichi and Seki, Hiroyuki}, BookTitle = {Proc. of RTA'00}, Editor = {Bachmair, Leo}, File = {Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability - Takai, Kaji, Seki (0) (0) - a - a - u.PDF}, ISBN = {978-3-540-67778-9}, Keywords = {preservation of regularity}, Pages = {246-260}, Publisher = {Springer Berlin Heidelberg}, Series = {LNCS}, Title = {Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability}, URL = {http://dx.doi.org/10.1007/10721975_17}, Volume = {1833}, Year = {2000}, bdsk-url-1 = {http://dx.doi.org/10.1007/10721975_17}, date-added = {2014-01-10 11:39:14 +0000}, date-modified = {2015-09-24 17:02:34 +0000}, doi = {10.1007/10721975_17} }