S. Abiteboul and V. Vianu, Regular path queries with constraints, Proceedings of the 16th ACM Symposium on Principles of Database Systems, pp.122-133, 1997.
DOI : 10.1145/263661.263676
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.7172

S. Amer-yahia, S. Cho, L. V. Lakshmanan, and D. Srivastava, Minimization of tree pattern queries, Proceedings of the 2001 ACM SIGMOD international conference on Management of data, pp.497-508, 2001.

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.

N. Dershowitz and J. Jouannaud, Rewrite Systems, pp.243-320, 1990.
DOI : 10.1016/B978-0-444-88074-1.50011-1

A. Deutsch and V. Tannen, Containment of regular path expressions under integrity constraints, Knowledge Representation Meets Databases, 2001.

G. Dowek, Introduction to proof theory

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, 2003.

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

G. Miklau and D. Suciu, Containment and equivalence for an XPath fragment, Proceedings of the 21st ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pp.65-76, 2002.

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, XPath: Looking Forward, Proc. of the EDBT Workshop on XML Data Management (XMLDM), pp.109-127, 2002.
DOI : 10.1007/3-540-36128-6_7

J. Vion-dury and N. Laya¨?dalaya¨?da, Containment of XPath expressions: an inference and rewriting based approach Two semantics for XPath, Extreme Markup Languages, 2000.

P. T. Wood, Containment for XPath Fragments under DTD Constraints, Proc. of the 9th International Conference on Database Theory, pp.300-314, 2003.
DOI : 10.1007/3-540-36285-1_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.3975