Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar. Composed Bisimulation for Tree Automata. In Oscar H. Ibarra, Bala Ravikumar, editors, Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings. Volume 5148 of Lecture Notes in Computer Science, pages 212-222, Springer, 2008. [doi]
Abstract is missing.