M. Benedikt, W. Fan, and F. Geerts, XPath satisfiability in the presence of DTDs, PODS '05, pp.25-36, 2005.

G. J. Bex, W. Martens, F. Neven, and T. Schwentick, Expressiveness of XSDs, Proceedings of the 14th international conference on World Wide Web , WWW '05, pp.712-721, 2005.
DOI : 10.1145/1060745.1060848

K. Beyer, F. Ozcan, S. Saiprasad, and B. V. Der-linden, DB2/XML, Proceedings of the 2005 ACM SIGMOD international conference on Management of data , SIGMOD '05, pp.948-952, 2005.
DOI : 10.1145/1066157.1066299

J. Clark and S. Derose, XML path language (XPath) version 1.0, W3C recommendation, 1999.

A. Deutsch and V. Tannen, XML queries and constraints, containment and reformulation, Theoretical Computer Science, vol.336, issue.1, pp.57-87, 2005.
DOI : 10.1016/j.tcs.2004.10.032

]. P. Genevès, Logics for XML Insti- tut National Polytechnique de Grenoble, 2006.

P. Genevès and N. Laya¨?dalaya¨?da, A satisfiability solver for XML and XPath, 2006.

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

P. Genevès, N. Laya¨?dalaya¨?da, and A. Schmitt, Efficient static analysis of XML paths and types. Long version of, 2008.

H. Hosoya, J. Vouillon, and B. C. Pierce, Regular expression types for XML, ACM Transactions on Programming Languages and Systems, vol.27, issue.1, pp.46-90, 2005.
DOI : 10.1145/1053468.1053470
URL : https://hal.archives-ouvertes.fr/hal-00009271

H. J. Moon, C. A. Curino, A. Deutsch, and C. Hou, Managing and querying transaction-time databases under schema evolution, VLDB '08, pp.882-895, 2008.
DOI : 10.14778/1453856.1453952

M. M. Moro, S. Malaika, and L. Lim, Preserving XML queries during schema evolution, Proceedings of the 16th international conference on World Wide Web , WWW '07, pp.1341-1342, 2007.
DOI : 10.1145/1242572.1242841

M. Murata, D. Lee, M. Mani, and K. Kawaguchi, Taxonomy of XML schema languages using formal language theory, ACM Transactions on Internet Technology, vol.5, issue.4, pp.660-704, 2005.
DOI : 10.1145/1111627.1111631

E. Pietriga, MathML content2presentation transformation, 2005.

E. Sedlar, Managing structure in bits & pieces, Proceedings of the 2005 ACM SIGMOD international conference on Management of data , SIGMOD '05, pp.818-821, 2000.
DOI : 10.1145/1066157.1066256

C. Yu and L. Popa, Semantic adaptation of schema mappings when schemas evolve, VLDB '05, pp.1006-1017, 2005.