Wouter Gelade Wim Martens Frank Neven Optimizing Schema Languages for XML: Numerical Constraints and Interleaving. 2021-2043 2009 38 SIAM J. Comput. 5 http://dx.doi.org/10.1137/070697367 db/journals/siamcomp/siamcomp38.html#GeladeMN09