@article{AbdullaHolA-kKaatiVojnar,
    Author = {Abdulla, Parosh A. and Holik, Lukas and Kaati, Lisa and Vojnar, Tomas},
    File = {A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata - Abdulla, Holik, Kaati, Vojnar (0) (0) - a - a - a.pdf},
    ISSN = {1571-0661},
    Journal = {Electronic Notes in Theoretical Computer Science},
    Keywords = {simulation preoder and tree automata},
    Note = {<ce:title>Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008)</ce:title>},
    Number = {0},
    Pages = {27 - 48},
    Title = {A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata},
    URL = {http://www.sciencedirect.com/science/article/pii/S157106610900351X},
    Volume = {251},
    Year = {2009},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S157106610900351X},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.entcs.2009.08.026},
    date-added = {2013-04-09 15:13:12 +0000},
    date-modified = {2013-04-09 21:03:03 +0000},
    doi = {10.1016/j.entcs.2009.08.026}
}

@article{AbdullaHolA-kKaatiVojnar, Author = {Abdulla, Parosh A. and Holik, Lukas and Kaati, Lisa and Vojnar, Tomas}, File = {A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata - Abdulla, Holik, Kaati, Vojnar (0) (0) - a - a - a.pdf}, ISSN = {1571-0661}, Journal = {Electronic Notes in Theoretical Computer Science}, Keywords = {simulation preoder and tree automata}, Note = {Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008)}, Number = {0}, Pages = {27 - 48}, Title = {A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata}, URL = {http://www.sciencedirect.com/science/article/pii/S157106610900351X}, Volume = {251}, Year = {2009}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S157106610900351X}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.entcs.2009.08.026}, date-added = {2013-04-09 15:13:12 +0000}, date-modified = {2013-04-09 21:03:03 +0000}, doi = {10.1016/j.entcs.2009.08.026} }