“…A wealth of specification formalisms on these structures (either for data trees or its 'word' version, data words) have been introduced, stemming from automata [25,28], first-order logic [2,19,16,4], XPath [20,18,15,14,13], or temporal logics [9,24,22,11,7,21]. In full generality, most formalisms lead to undecidable reasoning problems and a well-known research trend consists of finding a good trade-off between expressiveness and decidability.…”