@article{doi:10.1142/S0129054109006814,
    Author = {Abdulla, Parosh A. and Bouajjani, Ahmed and Hol{\'\i}k, Luk{\'a}{\v s} and Kaati, Lisa and Vojnar, Tomas},
    EPrint = {http://www.worldscientific.com/doi/pdf/10.1142/S0129054109006814},
    File = {Composed Bisimulation for Tree Automata - Abdulla, Bouajjani, Holík, Kaati, Vojnar (0) (0) - a - a - u.pdf},
    Journal = {International Journal of Foundations of Computer Science},
    Keywords = {simulation preoder and tree automata},
    Number = {04},
    Pages = {685-700},
    Title = {Composed Bisimulation for Tree Automata},
    URL = {http://www.worldscientific.com/doi/abs/10.1142/S0129054109006814},
    Volume = {20},
    Year = {2009},
    bdsk-url-1 = {http://www.worldscientific.com/doi/abs/10.1142/S0129054109006814},
    bdsk-url-2 = {http://dx.doi.org/10.1142/S0129054109006814},
    date-added = {2013-04-09 15:11:13 +0000},
    date-modified = {2013-04-09 21:02:48 +0000},
    doi = {10.1142/S0129054109006814}
}

@article{doi:10.1142/S0129054109006814, Author = {Abdulla, Parosh A. and Bouajjani, Ahmed and Hol{\'\i}k, Luk{\'a}{\v s} and Kaati, Lisa and Vojnar, Tomas}, EPrint = {http://www.worldscientific.com/doi/pdf/10.1142/S0129054109006814}, File = {Composed Bisimulation for Tree Automata - Abdulla, Bouajjani, Holík, Kaati, Vojnar (0) (0) - a - a - u.pdf}, Journal = {International Journal of Foundations of Computer Science}, Keywords = {simulation preoder and tree automata}, Number = {04}, Pages = {685-700}, Title = {Composed Bisimulation for Tree Automata}, URL = {http://www.worldscientific.com/doi/abs/10.1142/S0129054109006814}, Volume = {20}, Year = {2009}, bdsk-url-1 = {http://www.worldscientific.com/doi/abs/10.1142/S0129054109006814}, bdsk-url-2 = {http://dx.doi.org/10.1142/S0129054109006814}, date-added = {2013-04-09 15:11:13 +0000}, date-modified = {2013-04-09 21:02:48 +0000}, doi = {10.1142/S0129054109006814} }