B. Bouchou, A. Cheriat, M. Ferrari, D. Laurent, M. Lima, and M. Musicante, “Efficient Constraint Validation for Updated XML Database”, IJCAI, vol. 31, no. 3.