Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen. Logics for Unordered Trees with Data Constraints on Siblings. In Adrian Horia Dediu, Enrico Formenti, Carlos MartÃn-Vide, Bianca Truthe, editors, Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings. Volume 8977 of Lecture Notes in Computer Science, pages 175-187, Springer, 2015. [doi]
Abstract is missing.