Elena Cardillo, Claudio Eccher, Luciano Serafini, Andrei Tamilin. Logical Analysis of Mappings between Medical Classification Systems. In Danail Dochev, Marco Pistore, Paolo Traverso, editors, Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings. Volume 5253 of Lecture Notes in Computer Science, pages 311-321, Springer, 2008. [doi]