Stijn Vansummeren. Deciding well-definedness of XQuery fragments. In Chen Li, editor, Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 13-15, 2005, Baltimore, Maryland, USA. pages 37-48, ACM, 2005. [doi]
Abstract is missing.