@inproceedings{boiret:hal-01020236,
    Address = {Verona, Italy},
    Author = {Boiret, Adrien and Hugot, Vincent and Niehren, Joachim and Treinen, Ralf},
    BookTitle = {{Fifth International Symposium on Games, Automata, Logics and Formal Verification (Gandalf)}},
    File = {Deterministic Automata for Unordered Trees - det-unordered - a.pdf},
    Month = {September},
    PDF = {https://hal.inria.fr/hal-01020236/file/det-unordered.pdf},
    Pages = {189-202},
    Publisher = {{EPTCS}},
    Title = {{Deterministic Automata for Unordered Trees}},
    URL = {https://hal.inria.fr/hal-01020236},
    Volume = {161},
    Year = {2014},
    bdsk-url-1 = {https://hal.inria.fr/hal-01020236},
    bdsk-url-2 = {https://doi.org/10.4204/EPTCS.161.17},
    date-added = {2023-03-03 07:52:47 +0100},
    date-modified = {2023-03-03 07:52:47 +0100},
    hal_id = {hal-01020236},
    hal_version = {v1},
    doi = {10.4204/EPTCS.161.17}
}

@inproceedings{boiret:hal-01020236, Address = {Verona, Italy}, Author = {Boiret, Adrien and Hugot, Vincent and Niehren, Joachim and Treinen, Ralf}, BookTitle = {{Fifth International Symposium on Games, Automata, Logics and Formal Verification (Gandalf)}}, File = {Deterministic Automata for Unordered Trees - det-unordered - a.pdf}, Month = {September}, PDF = {https://hal.inria.fr/hal-01020236/file/det-unordered.pdf}, Pages = {189-202}, Publisher = {{EPTCS}}, Title = {{Deterministic Automata for Unordered Trees}}, URL = {https://hal.inria.fr/hal-01020236}, Volume = {161}, Year = {2014}, bdsk-url-1 = {https://hal.inria.fr/hal-01020236}, bdsk-url-2 = {https://doi.org/10.4204/EPTCS.161.17}, date-added = {2023-03-03 07:52:47 +0100}, date-modified = {2023-03-03 07:52:47 +0100}, hal_id = {hal-01020236}, hal_version = {v1}, doi = {10.4204/EPTCS.161.17} }