Yu Zhang, Yihua Cao, Xunhao Li. A Decision Procedure for XPath Satisfiability in the Presence of DTD Containing Choice. In Yanchun Zhang, Ge Yu, Elisa Bertino, Guandong Xu, editors, Progress in WWW Research and Development, 10th Asia-Pacific Web Conference, APWeb 2008, Shenyang, China, April 26-28, 2008. Proceedings. Volume 4976 of Lecture Notes in Computer Science, pages 202-213, Springer, 2008. [doi]
Abstract is missing.