@article{FuilladeGenetTong:2004,
    Author = {Feuillade, Guillaume and Genet, Thomas and Viet Triem Tong, Val{\'e}rie},
    File = {Reachability Analysis over Term Rewriting Systems - Feuillade, Genet, Viet Triem Tong (0) (0) - a - a - o.pdf},
    ISSN = {0168-7433},
    Journal = {Journal of Automated Reasoning},
    Keywords = {term rewriting systems and preservation of regularity and readme},
    Language = {English},
    Number = {3-4},
    Pages = {341-383},
    Publisher = {Kluwer Academic Publishers},
    Title = {Reachability Analysis over Term Rewriting Systems},
    URL = {http://dx.doi.org/10.1007/s10817-004-6246-0},
    Volume = {33},
    Year = {2004},
    bdsk-url-1 = {http://www.irisa.fr/celtique/genet/ra.html},
    bdsk-url-2 = {http://dx.doi.org/10.1007/s10817-004-6246-0},
    date-added = {2014-01-15 17:11:37 +0000},
    date-modified = {2014-05-02 06:35:01 +0000},
    file-2 = {Reachability Analysis over Term Rewriting Systems - Feuillade, Genet, Viet Triem Tong (1) (0) - a - a - o.pdf},
    doi = {10.1007/s10817-004-6246-0}
}

@article{FuilladeGenetTong:2004, Author = {Feuillade, Guillaume and Genet, Thomas and Viet Triem Tong, Val{\'e}rie}, File = {Reachability Analysis over Term Rewriting Systems - Feuillade, Genet, Viet Triem Tong (0) (0) - a - a - o.pdf}, ISSN = {0168-7433}, Journal = {Journal of Automated Reasoning}, Keywords = {term rewriting systems and preservation of regularity and readme}, Language = {English}, Number = {3-4}, Pages = {341-383}, Publisher = {Kluwer Academic Publishers}, Title = {Reachability Analysis over Term Rewriting Systems}, URL = {http://dx.doi.org/10.1007/s10817-004-6246-0}, Volume = {33}, Year = {2004}, bdsk-url-1 = {http://www.irisa.fr/celtique/genet/ra.html}, bdsk-url-2 = {http://dx.doi.org/10.1007/s10817-004-6246-0}, date-added = {2014-01-15 17:11:37 +0000}, date-modified = {2014-05-02 06:35:01 +0000}, file-2 = {Reachability Analysis over Term Rewriting Systems - Feuillade, Genet, Viet Triem Tong (1) (0) - a - a - o.pdf}, doi = {10.1007/s10817-004-6246-0} }