Edward Hermann Haeusler, Alexandre Rademaker. Is It Important to Explain a Theorem? A Case Study on UML and ::::ALCQI::::/mathcal{ALCQI}. In Carlos A. Heuser, Günther Pernul, editors, Advances in Conceptual Modeling - Challenging Perspectives, ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings. Volume 5833 of Lecture Notes in Computer Science, pages 34-44, Springer, 2009. [doi]
Abstract is missing.