@article{DURAND201593,
    Author = {Durand, I. and S{\'e}nizergues, G.},
    File = {1-s2.0-S0747717114000418-main (0) - a - a - b.pdf},
    ISSN = {0747-7171},
    Journal = {Journal of Symbolic Computation},
    Keywords = {Term rewriting systems, Semi-Thue systems, Regularity preservation, Accessibility problem},
    Pages = {93 - 121},
    Title = {Bottom-up rewriting for words and terms},
    URL = {http://www.sciencedirect.com/science/article/pii/S0747717114000418},
    Volume = {67},
    Year = {2015},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0747717114000418},
    bdsk-url-2 = {https://doi.org/10.1016/j.jsc.2014.06.001},
    date-added = {2018-10-04 15:15:56 +0000},
    date-modified = {2018-10-04 15:15:56 +0000},
    doi = {10.1016/j.jsc.2014.06.001}
}

@article{DURAND201593, Author = {Durand, I. and S{\'e}nizergues, G.}, File = {1-s2.0-S0747717114000418-main (0) - a - a - b.pdf}, ISSN = {0747-7171}, Journal = {Journal of Symbolic Computation}, Keywords = {Term rewriting systems, Semi-Thue systems, Regularity preservation, Accessibility problem}, Pages = {93 - 121}, Title = {Bottom-up rewriting for words and terms}, URL = {http://www.sciencedirect.com/science/article/pii/S0747717114000418}, Volume = {67}, Year = {2015}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0747717114000418}, bdsk-url-2 = {https://doi.org/10.1016/j.jsc.2014.06.001}, date-added = {2018-10-04 15:15:56 +0000}, date-modified = {2018-10-04 15:15:56 +0000}, doi = {10.1016/j.jsc.2014.06.001} }