Carlo Combi, Andrea Masini, Barbara Oliboni, Margherita Zorzi. A Logical Framework for XML Reference Specification. In Qiming Chen, Abdelkader Hameurlain, Farouk Toumani, Roland Wagner, Hendrik Decker, editors, Database and Expert Systems Applications - 26th International Conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, Proceedings, Part II. Volume 9262 of Lecture Notes in Computer Science, pages 258-267, Springer, 2015. [doi]
Abstract is missing.