Y. Bertot and P. Castéran, Coq'Art, chapter, 2004.

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

T. Bray, J. Paoli, C. M. Sperberg-mcqueen, E. Maler, and F. Yergeau, Extensible markup language (XML) 1, W3C recommendation, 2004.

J. Clark, XSL transformations (XSLT) version 1.0, W3C recommendation, 1999.

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

S. Derose, E. Maler, and D. Orchard, XML Linking Language (XLink) version 1.0, W3C Recommendation, 2001.

A. Deutsch and V. Tannen, Containment and integrity constraints for xpath fragments, Knowledge Representation Meets Databases, 2001.

D. Draper, P. Fankhauser, M. Fernández, A. Malhotra, K. Rose et al., XQuery 1.0 and XPath 2.0 formal semantics, W3C working draft, 2004.

D. Draper, P. Fankhauser, M. F. Fernández, A. Malhotra, K. Rose et al., Xquery 1.0 and xpath 2.0 formal semantics, 2004.

D. C. Fallside, XML Schema part 0: Primer, W3C recommendation, 2001.

S. Flesca, F. Furfaro, and E. Masciari, Minimization of tree patterns queries, Proceedings of the 29th VLDB Conf, pp.497-508, 2000.

P. Genevès and J. , Vion-Dury. Logic-based XPath optimization, First International Workshop on High Performance XML Processing, 2004.

G. Gottlob, C. Koch, and R. Pichler, Efficient algorithms for processing XPath queries, Proc. 28th Int. Conf. on Very Large Data Bases, pp.95-106, 2002.
DOI : 10.1145/1071610.1071614
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.110.4205

F. Neven and T. Schwentick, XPath containment in the presence of disjunction, DTDs, and variables, Proceedings of the 9th International Conference on Database Theory, pp.315-329, 2002.

D. Olteanu, H. Meuss, T. Furche, and F. Bry, Symmetry in XPath, Proceedings of Seminar on Rule Markup Techniques, no. 02061, Schloss Dagstuhl, 2001.

J. Vion-dury and N. Laya¨?dalaya¨?da, Containment of XPath expressions: an inference and rewriting based approach, Extreme Markup Languages, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00423413

P. Wadler, Two semantics for XPath, 2000.