@inproceedings{Chabin:2007:VPL:1421855.1421874,
    Address = {Berlin, Heidelberg},
    Author = {Chabin, Jacques and R{\'e}ty, Pierre},
    BookTitle = {Proceedings of the 6th international symposium on Frontiers of Combining Systems},
    File = {Visibly Pushdown Languages and Term Rewriting - Chabin, Réty (0) (0) - a - a - f.pdf},
    ISBN = {978-3-540-74620-1},
    Keywords = {term rewriting systems and tree automata and visibly pushdown automata and preservation of regularity and readme},
    Location = {Liverpool, UK},
    Pages = {252--266},
    Publisher = {Springer-Verlag},
    Series = {FroCoS '07},
    Title = {Visibly Pushdown Languages and Term Rewriting},
    URL = {http://dx.doi.org/10.1007/978-3-540-74621-8\_17},
    Year = {2007},
    acmid = {1421874},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-74621-8\_17},
    date-added = {2012-10-11 07:49:47 +0000},
    date-modified = {2014-02-24 15:08:09 +0000},
    numpages = {15},
    doi = {10.1007/978-3-540-74621-8_17}
}

@inproceedings{Chabin:2007:VPL:1421855.1421874, Address = {Berlin, Heidelberg}, Author = {Chabin, Jacques and R{\'e}ty, Pierre}, BookTitle = {Proceedings of the 6th international symposium on Frontiers of Combining Systems}, File = {Visibly Pushdown Languages and Term Rewriting - Chabin, Réty (0) (0) - a - a - f.pdf}, ISBN = {978-3-540-74620-1}, Keywords = {term rewriting systems and tree automata and visibly pushdown automata and preservation of regularity and readme}, Location = {Liverpool, UK}, Pages = {252--266}, Publisher = {Springer-Verlag}, Series = {FroCoS '07}, Title = {Visibly Pushdown Languages and Term Rewriting}, URL = {http://dx.doi.org/10.1007/978-3-540-74621-8_17}, Year = {2007}, acmid = {1421874}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-74621-8_17}, date-added = {2012-10-11 07:49:47 +0000}, date-modified = {2014-02-24 15:08:09 +0000}, numpages = {15}, doi = {10.1007/978-3-540-74621-8_17} }