2002

Calì, Andrea and Calvanese, D. and De Giacomo, G. and Lenzerini, M. (2002) A formal framework for reasoning on UML class diagrams. In: Hacid, M.S. and Raś, Z.W. and Zighed, D.A. and Kodratoff, Y. (eds.) ISMIS 200: Foundations of Intelligent Systems. Lecture Notes in Computer Science 2366. Springer, pp. 503-513. ISBN 9783540437857.