G. Salzer, I. Feinerer:
"Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints";
Talk: TASE 2007, Shanghai; 2007-06-06 - 2007-06-08; in: "Proceedings 1st IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering", J. He, J. Sanders (ed.); (2007), 411 - 420.