A Prototype of a Schema-Based XPath Satisfiability Tester.

Jinghua Groppe Sven Groppe A Prototype of a Schema-Based XPath Satisfiability Tester. 93-103 2006 conf/dexa/2006 DEXA http://dx.doi.org/10.1007/11827405_10 db/conf/dexa/dexa2006.html#GroppeG06