Manuel Clavel Marina Egea Miguel Angel García de Dios Checking Unsatisfiability for OCL Constraints. 2009 24 Electron. Commun. Eur. Assoc. Softw. Sci. Technol. https://doi.org/10.14279/tuj.eceasst.24.334 db/journals/eceasst/eceasst24.html#ClavelED09