Toni Mancini. Finite Satisfiability of UML Class Diagrams by Constraint Programming. In Volker Haarslev, Ralf Möller, editors, Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004. Volume 104 of CEUR Workshop Proceedings, CEUR-WS.org, 2004. [doi]
Abstract is missing.