Michael Benedikt Wenfei Fan Floris Geerts XPath satisfiability in the presence of DTDs. 2008 55 J. ACM 2 http://doi.acm.org/10.1145/1346330.1346333 db/journals/jacm/jacm55.html#BenediktFG08