@article{Gascon:2009:CTA:1519543.1519746,
    Address = {Amsterdam, The Netherlands, The Netherlands},
    Author = {Gasc\'{o}n, Adri\`{a} and Godoy, Guillem and Jacquemard, Florent},
    File = {Closure of Tree Automata Languages under Innermost Rewriting - Gascon, Godoy, Jacquemard (0) (0) - a - a - b.pdf},
    ISSN = {1571-0661},
    Journal = {Electron. Notes Theor. Comput. Sci.},
    Keywords = {term rewriting systems and preservation of regularity},
    Month = {April},
    Pages = {23--38},
    Publisher = {Elsevier Science Publishers B. V.},
    Title = {Closure of Tree Automata Languages under Innermost Rewriting},
    URL = {http://dx.doi.org/10.1016/j.entcs.2009.03.033},
    Volume = {237},
    Year = {2009},
    acmid = {1519746},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.entcs.2009.03.033},
    date-added = {2012-09-28 14:59:40 +0000},
    date-modified = {2014-01-16 16:48:48 +0000},
    file-2 = {Closure of Tree Automata Languages under Innermost Rewriting - Gascon, Godoy, Jacquemard (1) (0) - a - a - b.pdf},
    issue_date = {April, 2009},
    numpages = {16},
    doi = {10.1016/j.entcs.2009.03.033}
}

@article{Gascon:2009:CTA:1519543.1519746, Address = {Amsterdam, The Netherlands, The Netherlands}, Author = {Gasc\'{o}n, Adri`{a} and Godoy, Guillem and Jacquemard, Florent}, File = {Closure of Tree Automata Languages under Innermost Rewriting - Gascon, Godoy, Jacquemard (0) (0) - a - a - b.pdf}, ISSN = {1571-0661}, Journal = {Electron. Notes Theor. Comput. Sci.}, Keywords = {term rewriting systems and preservation of regularity}, Month = {April}, Pages = {23--38}, Publisher = {Elsevier Science Publishers B. V.}, Title = {Closure of Tree Automata Languages under Innermost Rewriting}, URL = {http://dx.doi.org/10.1016/j.entcs.2009.03.033}, Volume = {237}, Year = {2009}, acmid = {1519746}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.entcs.2009.03.033}, date-added = {2012-09-28 14:59:40 +0000}, date-modified = {2014-01-16 16:48:48 +0000}, file-2 = {Closure of Tree Automata Languages under Innermost Rewriting - Gascon, Godoy, Jacquemard (1) (0) - a - a - b.pdf}, issue_date = {April, 2009}, numpages = {16}, doi = {10.1016/j.entcs.2009.03.033} }