The NEXT Logical Framework for XQuery.

Alin Deutsch, Yannis Papakonstantinou, Yu Xu

Browse the full VLDB paper archive.