@Inproceedings{EPTCS161.17, author = {Boiret, Adrien and Hugot, Vincent and Niehren, Joachim and Treinen, Ralf}, year = {2014}, title = {Deterministic Automata for Unordered Trees}, editor = {Peron, Adriano and Piazza, Carla}, booktitle = {{\rm Proceedings Fifth International Symposium on} Games, Automata, Logics and Formal Verification, {\rm Verona, Italy, 10th - 12th September 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {161}, publisher = {Open Publishing Association}, pages = {189-202}, doi = {10.4204/EPTCS.161.17}, }