Logics for Unordered Trees with Data Constraints on Siblings.

Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen

Browse the full LATA paper archive.