Jinghua Groppe, Sven Groppe. A Prototype of a Schema-Based XPath Satisfiability Tester. In Stéphane Bressan, Josef Küng, Roland Wagner, editors, Database and Expert Systems Applications, 17th International Conference, DEXA 2006, Kraków, Poland, September 4-8, 2006, Proceedings. Volume 4080 of Lecture Notes in Computer Science, pages 93-103, Springer, 2006. [doi]
Abstract is missing.