Jinghua Groppe Volker Linnemann Discovering Veiled Unsatisfiable Xpath Queries. 149-158 2008 ICEIS (1) conf/iceis/2008-1 db/conf/iceis/iceis2008-1.html#GroppeL08