1. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: principles, techniques, and tools. Addison-Wesley, Reading (1988)
2. Arenas, M., Libkin, L.: A normal form for XML documents. In: ACM Symposium on Principles of Database System (2002)
3. Arenas, M., Libkin, L.: A normal form for XML documents. ACM Transactions on Database Systems (TODS) 29(1) (2004)
4. Benedikt, M., Bruns, G., Gibson, J., Kuss, R., Ng, A.: Automated update management for XML integrity constraints. In: Program Language Technologies for XML, PLANX 2002 (2002)
5. Bidoit, N., Colazzo, D.: Testing XML constraint satisfiability. Electr. Notes Theor. Comput. Sci. 174(6), 45–61 (2007)