Jean-Yves Vion-Dury Nabil Layaïda Containment of XPath expressions: an inference and rewriting based approach. 2003 conf/extreme/2003 Extreme Markup Languages® http://www.mulberrytech.com/Extreme/Proceedings/html/2003/Vion-Dury01/EML2003Vion-Dury01.html db/conf/extreme/extreme2003.html#Vion-DuryL03