Marco Cadoli Diego Calvanese Giuseppe De Giacomo Toni Mancini Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. 36-47 2007 conf/aiia/2007 AI*IA http://dx.doi.org/10.1007/978-3-540-74782-6_5 db/conf/aiia/aiia2007.html#CadoliCGM07