Jinghua Groppe, Sven Groppe. Satisfiability-Test, Rewriting and Refinement of Users XPath Queries According to XML Schema Definitions. In Yannis Manolopoulos, Jaroslav Pokorný, Timos K. Sellis, editors, Advances in Databases and Information Systems, 10th East European Conference, ADBIS 2006, Thessaloniki, Greece, September 3-7, 2006, Proceedings. Volume 4152 of Lecture Notes in Computer Science, pages 22-38, Springer, 2006. [doi]
Abstract is missing.