Clavel, M.; Egea, M.; García de Dios, M. A. Checking Unsatisfiability for OCL Constraints. eceasst 2010, 24.