@article{Rety2002176,
    Author = {R{\'e}ty, Pierre and Vuotto, Julie},
    File = {Regular Sets of Descendants by Leftmost Strategy - Réty, Vuotto (0) (0) - a - a - q.pdf},
    ISSN = {1571-0661},
    Journal = {Electronic Notes in Theoretical Computer Science},
    Keywords = {preservation of recognizability and tree automata and readme},
    Note = {\{WRS\} 2002, 2nd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings (FLoC Satellite Event)},
    Number = {6},
    Pages = {176 - 195},
    Title = {Regular Sets of Descendants by Leftmost Strategy},
    URL = {http://www.sciencedirect.com/science/article/pii/S1571066104806066},
    Volume = {70},
    Year = {2002},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066104806066},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S1571-0661(04)80606-6},
    date-added = {2014-05-02 08:18:36 +0000},
    date-modified = {2014-05-02 08:19:10 +0000},
    doi = {10.1016/S1571-0661(04)80606-6}
}

@article{Rety2002176, Author = {R{\'e}ty, Pierre and Vuotto, Julie}, File = {Regular Sets of Descendants by Leftmost Strategy - Réty, Vuotto (0) (0) - a - a - q.pdf}, ISSN = {1571-0661}, Journal = {Electronic Notes in Theoretical Computer Science}, Keywords = {preservation of recognizability and tree automata and readme}, Note = {{WRS} 2002, 2nd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings (FLoC Satellite Event)}, Number = {6}, Pages = {176 - 195}, Title = {Regular Sets of Descendants by Leftmost Strategy}, URL = {http://www.sciencedirect.com/science/article/pii/S1571066104806066}, Volume = {70}, Year = {2002}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066104806066}, bdsk-url-2 = {http://dx.doi.org/10.1016/S1571-0661(04)80606-6}, date-added = {2014-05-02 08:18:36 +0000}, date-modified = {2014-05-02 08:19:10 +0000}, doi = {10.1016/S1571-0661(04)80606-6} }