Karianto Wong, Christof Löding
Unranked Tree Automata with Sibling Equalities and Disequalities
ICALP, 2007.
@inproceedings{ICALP-2007-KariantoL, author = "Karianto Wong and Christof Löding", booktitle = "{Proceedings of the 34th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/978-3-540-73420-8_75", isbn = "978-3-540-73419-2", pages = "875--887", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Unranked Tree Automata with Sibling Equalities and Disequalities}", volume = 4596, year = 2007, }