M. Arenas, W. Fan, and L. Libkin, On verifying consistency of XML specifications, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '02, 2002.
DOI : 10.1145/543613.543647

M. A. Baazizi, N. Bidoit, D. Colazzo, N. Malla, and M. Sahakyan, Projection for XML update optimization, Proceedings of the 14th International Conference on Extending Database Technology, EDBT/ICDT '11, 2011.
DOI : 10.1145/1951365.1951403
URL : https://hal.archives-ouvertes.fr/inria-00626225

M. Benedikt and J. Cheney, Semantics, Types and Effects for XML Updates, DBPL, 2009.
DOI : 10.1145/1348250.1348255

M. Benedikt and J. Cheney, Destabilizers and independence of XML updates, Proceedings of the VLDB Endowment, vol.3, issue.1-2, 2010.
DOI : 10.14778/1920841.1920956

M. Benedikt and J. Cheney, Schema-based independence analysis for XML updates, Proceedings of the VLDB Endowment, vol.2, issue.1, 2009.
DOI : 10.14778/1687627.1687635

V. Benzaken, G. Castagna, D. Colazzo, and K. Nguyen, Type-based XML projection, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00152588

G. J. Bex, F. Neven, T. Schwentick, and S. Vansummeren, Inference of concise regular expressions and DTDs, ACM Transactions on Database Systems, vol.35, issue.2, 2010.
DOI : 10.1145/1735886.1735890

N. Bidoit, D. Colazzo, and F. Ulliana, Detecting XML Query-Update Independence, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00542526

J. Cheney, FLUX:FunctionaL Updates for XML, 2008.

D. Colazzo, G. Ghelli, P. Manghi, and C. Sartiani, Static analysis for path correctness of XML queries, Journal of Functional Programming, vol.16, issue.4&5, pp.4-5, 2006.
DOI : 10.1017/S0956796806005983

D. Draper, P. Fankhauser, M. Fernandez, A. Malhotra, K. Rose et al., XQuery 1.0 and XPath 2.0 Formal Semantics, 2010.

M. Franceschet, XPathMark: An XPath Benchmark for the XMark Generated Data, XSym, 2005.
DOI : 10.1007/11547273_10

W. Gelade, W. Martens, and F. Neven, Optimizing Schema Languages for XML: Numerical Constraints and Interleaving, ICDT, 2007.
DOI : 10.1137/070697367

G. Ghelli, K. H. Rose, and J. Siméon, Commutativity analysis for XML updates, ACM Transactions on Database Systems, vol.33, issue.4, 2008.
DOI : 10.1145/1412331.1412341

A. Marian and J. Siméon, Projecting XML Documents, VLDB, 2003.
DOI : 10.1016/B978-012722442-8/50027-6

P. Blackburn and M. Rijke, Modal Logic, 2001.
DOI : 10.1017/CBO9781107050884
URL : https://hal.archives-ouvertes.fr/inria-00100502

M. Raghavachari and O. Shmueli, Conflicting XML Updates, EDBT, 2006.
DOI : 10.1007/11687238_34

J. Robie, D. Chamberlin, M. Dyck, D. Florescu, J. Milton et al., XQuery update facility 1.0, 2011.

A. Schmidt, F. Waas, M. L. Kersten, M. J. Carey, I. Manolescu et al., XMark, VLDB, 2002.
DOI : 10.1016/B978-155860869-6/50096-2