Jean-Yves Vion-Dury, Nabil Layaïda. Containment of XPath expressions: an inference and rewriting based approach. In Proceedings of the Extreme Markup Languages® 2003 Conference, 4-8 August 2003, Montréal, Quebec, Canada. 2003. [doi]
Abstract is missing.