BOXes: efficient maintenance of order-based labeling for dynamic XML data | IEEE Conference Publication | IEEE Xplore