@article{boiret:hal-01179493, TITLE = {{Automata for Unordered Trees}}, AUTHOR = {Boiret, Adrien and Hugot, Vincent and Niehren, Joachim and Treinen, Ralf}, URL = {https://inria.hal.science/hal-01179493}, JOURNAL = {{Information and Computation}}, PUBLISHER = {{Elsevier}}, VOLUME = {253}, PAGES = {304-335 }, YEAR = {2017}, MONTH = Apr, DOI = {10.1016/j.ic.2016.07.012}, PDF = {https://inria.hal.science/hal-01179493/file/DeterministicAutomataUnordered_Journal-1.pdf}, HAL_ID = {hal-01179493}, HAL_VERSION = {v1}, }