A Decision Procedure for XPath Satisfiability in the Presence of DTD Containing Choice.

Yu Zhang, Yihua Cao, Xunhao Li

Browse the full APWEB paper archive.