@article{Dauchet1990187,
    Author = {Dauchet, Max and Heuillard, Thierry and Lescanne, Pierre and Tison, Sophie},
    File = {Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems - Dauchet, Heuillard, Lescanne, Tison (0) (0) - a - a - o.pdf},
    ISSN = {0890-5401},
    Journal = {Information and Computation},
    Keywords = {term rewriting systems and ground rewriting systems and tree transducers},
    Number = {2},
    Pages = {187 - 201},
    Title = {Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems},
    URL = {http://www.sciencedirect.com/science/article/pii/089054019090015A},
    Volume = {88},
    Year = {1990},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/089054019090015A},
    bdsk-url-2 = {http://dx.doi.org/10.1016/0890-5401(90)90015-A},
    bdsk-url-3 = {http://hal.inria.fr/inria-00075878/},
    date-added = {2012-09-28 15:19:58 +0000},
    date-modified = {2013-12-24 13:47:31 +0000},
    file-2 = {Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems - Dauchet, Heuillard, Lescanne, Tison (1) (0) - a - a - o.pdf},
    doi = {10.1016/0890-5401(90)90015-A}
}

@article{Dauchet1990187, Author = {Dauchet, Max and Heuillard, Thierry and Lescanne, Pierre and Tison, Sophie}, File = {Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems - Dauchet, Heuillard, Lescanne, Tison (0) (0) - a - a - o.pdf}, ISSN = {0890-5401}, Journal = {Information and Computation}, Keywords = {term rewriting systems and ground rewriting systems and tree transducers}, Number = {2}, Pages = {187 - 201}, Title = {Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems}, URL = {http://www.sciencedirect.com/science/article/pii/089054019090015A}, Volume = {88}, Year = {1990}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/089054019090015A}, bdsk-url-2 = {http://dx.doi.org/10.1016/0890-5401(90)90015-A}, bdsk-url-3 = {http://hal.inria.fr/inria-00075878/}, date-added = {2012-09-28 15:19:58 +0000}, date-modified = {2013-12-24 13:47:31 +0000}, file-2 = {Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems - Dauchet, Heuillard, Lescanne, Tison (1) (0) - a - a - o.pdf}, doi = {10.1016/0890-5401(90)90015-A} }