T. Mossakowski, O. Kutz, and M. Codescu. Proc. of the Theory Day in Computer Science (DACS-2014), satellite workshop of ICTAC-2014, University of Bucharest, September 15-16, 2014, (2014)
T. Mossakowski, C. Lange, and O. Kutz. FOIS 2012: 7th International Conference on Formal Ontology in Information Systems, page 337-352. IOS Press; Amsterdam; http://www.iospress.nl, (2012)Best paper award.