Elena Cardillo, Claudio Eccher, Luciano Serafini, Andrei Tamilin: Logical Analysis of Mappings between Medical Classification Systems. AIMSA 2008: 311-321