Stijn Vansummeren Deciding well-definedness of XQuery fragments. 37-48 2005 conf/pods/2005 PODS http://doi.acm.org/10.1145/1065167.1065173 db/conf/pods/pods2005.html#Vansummeren05