S. Boag, D. Chamberlin, M. F. Fernández, D. Florescu, J. Robie et al., XQuery 1.0: An XML query language, W3C recommendation, 2007.

P. Genevès, Logics for XML: Reasoning with Trees, 2009.

P. Genevès, N. Laya¨?dalaya¨?da, and V. Quint, Identifying query incompatibilities with evolving XML schemas, ICFP'09

P. Genevès, N. Laya¨?dalaya¨?da, and A. Schmitt, Efficient static analysis of XML paths and types, PLDI'07