@inproceedings{boiret:hal-01088761, TITLE = {{Logics for Unordered Trees with Data Constraints on Siblings}}, AUTHOR = {Boiret, Adrien and Hugot, Vincent and Niehren, Joachim and Treinen, Ralf}, URL = {https://inria.hal.science/hal-01088761}, BOOKTITLE = {{LATA : 9th International Conference on Language and Automata Theory and Applications}}, ADDRESS = {Nice, France}, PAGES = {175-187}, YEAR = {2015}, MONTH = Mar, KEYWORDS = {unordered trees ; logics}, PDF = {https://inria.hal.science/hal-01088761/file/paper_78.pdf}, HAL_ID = {hal-01088761}, HAL_VERSION = {v1}, }