Michael Benedikt Wenfei Fan Floris Geerts XPath satisfiability in the presence of DTDs. 25-36 2005 conf/pods/2005 PODS http://doi.acm.org/10.1145/1065167.1065172 db/conf/pods/pods2005.html#BenediktFG05