S. Abiteboul and V. Vianu, Regular path queries with constraints, Proc. 16th PODS, pp.122-133, 1997.

S. Amer-yahia, S. Cho, L. V. Lakshmanan, and D. Srivastava, Minimization of Tree Patterns Queries, Proc. ACM SIGMOD Conf, pp.497-508, 2001.

N. Dershowitz and J. Jouannaud, Rewrite Systems, Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (B), pp.243-320, 1990.

A. Deutsch and V. Tannen, Containment and Integrity Constraints for XPath Fragments, 2001.

G. Dowek, Introduction to Proof Theory

G. Miklau and D. Suciu, Containment and equivalence for an XPath fragment, 21st ACM Symposium on Principles of Databases Systems (PODS), pp.65-76, 2002.

D. Olteanu, H. Meuss, T. Furche, and F. Bry, XPath: Looking Forward, Proc. of the EDBT Workshop on XML Data Management (XMLDM), 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, Extreme Markup Languages, 2003.

P. Wadler, Two semantics for XPath, 2000.

P. 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

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.