Jakub Malý, Martin Necaský. Describing and Verifying Integrity Constraints in XML Using OCL. In Carole A. Goble, Peter P. Chen, Jia Zhang, editors, 2012 IEEE 19th International Conference on Web Services, Honolulu, HI, USA, June 24-29, 2012. pages 657-658, IEEE, 2012. [doi]
Abstract is missing.