Regular path queries with constraints, Proc. 16th PODS, pp.122-133, 1997. ,
Minimization of Tree Patterns Queries, Proc. ACM SIGMOD Conf, pp.497-508, 2001. ,
Rewrite Systems, Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (B), pp.243-320, 1990. ,
Containment and Integrity Constraints for XPath Fragments, 2001. ,
Introduction to Proof Theory ,
Containment and equivalence for an XPath fragment, 21st ACM Symposium on Principles of Databases Systems (PODS), pp.65-76, 2002. ,
XPath: Looking Forward, Proc. of the EDBT Workshop on XML Data Management (XMLDM), 2002. ,
DOI : 10.1007/3-540-36128-6_7
Containment of XPath expressions: an Inference and Rewriting based approach, Extreme Markup Languages, 2003. ,
Two semantics for XPath, 2000. ,
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
XSL Transformations (XSLT) Version 1.0, W3C Recommendation, 1999. ,
XML Path Language (XPath) Version 1.0, W3C Recommendation, 1999. ,