@article{AbdullaLegaydaOrsoRezine,
    Author = {Abdulla, Parosh Aziz and Legay, Axel and d'Orso, Julien and Rezine, Ahmed},
    File = {Tree regular model checking A simulation-based approach - Abdulla, Legay, d'Orso, Rezine (0) (0) - a - a - s.pdf},
    ISSN = {1567-8326},
    Journal = {The Journal of Logic and Algebraic Programming},
    Keywords = {Rewrite systems},
    Number = {1{\^a}€``2},
    Pages = {93 - 121},
    Title = {Tree regular model checking: A simulation-based approach},
    URL = {http://www.sciencedirect.com/science/article/pii/S1567832606000245},
    Volume = {69},
    Year = {2006},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1567832606000245},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.jlap.2006.02.001},
    date-added = {2013-04-09 15:18:06 +0000},
    date-modified = {2013-04-09 21:03:10 +0000},
    doi = {10.1016/j.jlap.2006.02.001}
}

@article{AbdullaLegaydaOrsoRezine, Author = {Abdulla, Parosh Aziz and Legay, Axel and d'Orso, Julien and Rezine, Ahmed}, File = {Tree regular model checking A simulation-based approach - Abdulla, Legay, d'Orso, Rezine (0) (0) - a - a - s.pdf}, ISSN = {1567-8326}, Journal = {The Journal of Logic and Algebraic Programming}, Keywords = {Rewrite systems}, Number = {1{\^a}€``2}, Pages = {93 - 121}, Title = {Tree regular model checking: A simulation-based approach}, URL = {http://www.sciencedirect.com/science/article/pii/S1567832606000245}, Volume = {69}, Year = {2006}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1567832606000245}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.jlap.2006.02.001}, date-added = {2013-04-09 15:18:06 +0000}, date-modified = {2013-04-09 21:03:10 +0000}, doi = {10.1016/j.jlap.2006.02.001} }