1. Arenas, M., Fan, W., & Libkin, L. (2002). On verifying consistency of XML specifications. In Proceedings of the Twenty-first ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (pp. 259–270). Madison, Wisconsin: ACM.
2. Arenas, M., Fan, W., & Libkin, L. (2005). Consistency of XML specifications. In Inconsistency Tolerance (pp. 15–41). Berlin, Heidelberg: Springer.
3. Arenas, M., Fan, W., & Libkin, L. (2008). On the complexity of verifying consistency of XML specifications. SIAM Journal on Computing, 38(3), 841–880.
4. Bravo, L., Cheney, J., Fundulaki, I., & Segovia, R. (2012). Consistency and repair for XML write-access control policies. The VLDB Journal, 21(6), 843–867.
5. Campo, M., & Vaisman, A. (2006). Consistency of temporal XML documents. In Proceedings of the 2006 International XML Database Symposium (pp. 31–45). Berlin, Heidelberg: Springer.