Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás HolÃk, Lisa Kaati, Tomás Vojnar. Composed Bisimulation for Tree Automata. Int. J. Found. Comput. Sci., 20(4):685-700, 2009. [doi]
@article{AbdullaBHKV09,
title = {Composed Bisimulation for Tree Automata},
author = {Parosh Aziz Abdulla and Ahmed Bouajjani and Lukás HolÃk and Lisa Kaati and Tomás Vojnar},
year = {2009},
doi = {10.1142/S0129054109006814},
url = {http://dx.doi.org/10.1142/S0129054109006814},
researchr = {https://researchr.org/publication/AbdullaBHKV09},
cites = {0},
citedby = {0},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {4},
pages = {685-700},
}