Kai Salomaa
Decidability of Equivalence for Deterministic Synchronized Tree Automata
TAPSOFT, 1996.
@article{TAPSOFT-J-1995-Salomaa96, author = "Kai Salomaa", doi = "10.1016/0304-3975(96)00073-4", issn = "0304-3975", journal = "{Theoretical Computer Science}", number = "1&2", pages = "171--192", title = "{Decidability of Equivalence for Deterministic Synchronized Tree Automata}", volume = 167, year = 1996, }