A minimum cardinality consistency-checking algorithm for UML class diagrams. - Satish S. Salunkhe; S. Radke Shashikant; Vijay K. Sambhe; Rahul B. Shelke; Ganesh Kocharekar (ICWET, 2010)