@article{NagayaToyama:Left-LinearGrowing:2002,
    Author = {Nagaya, Takashi and Toyama, Yoshihito},
    File = {Decidability for Left-Linear Growing Term Rewriting Systems - Nagaya, Toyama (0) (0) - a - a - l.pdf},
    ISSN = {0890-5401},
    Journal = {Inform. and Comput.},
    Keywords = {preservation of recognizability},
    Number = {2},
    Pages = {499 - 514},
    Title = {Decidability for Left-Linear Growing Term Rewriting Systems},
    URL = {http://www.sciencedirect.com/science/article/pii/S0890540102931573},
    Volume = {178},
    Year = {2002},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540102931573},
    bdsk-url-2 = {http://dx.doi.org/10.1006/inco.2002.3157},
    date-added = {2014-01-23 22:12:26 +0000},
    date-modified = {2014-05-30 09:45:48 +0000},
    doi = {10.1006/inco.2002.3157}
}

@article{NagayaToyama:Left-LinearGrowing:2002, Author = {Nagaya, Takashi and Toyama, Yoshihito}, File = {Decidability for Left-Linear Growing Term Rewriting Systems - Nagaya, Toyama (0) (0) - a - a - l.pdf}, ISSN = {0890-5401}, Journal = {Inform. and Comput.}, Keywords = {preservation of recognizability}, Number = {2}, Pages = {499 - 514}, Title = {Decidability for Left-Linear Growing Term Rewriting Systems}, URL = {http://www.sciencedirect.com/science/article/pii/S0890540102931573}, Volume = {178}, Year = {2002}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540102931573}, bdsk-url-2 = {http://dx.doi.org/10.1006/inco.2002.3157}, date-added = {2014-01-23 22:12:26 +0000}, date-modified = {2014-05-30 09:45:48 +0000}, doi = {10.1006/inco.2002.3157} }