Mustafa Jarrar Stijn Heymans Unsatisfiability Reasoning in ORM Conceptual Schemes. 517-534 2006 conf/edbtw/2006 EDBT Workshops http://dx.doi.org/10.1007/11896548_39 db/conf/edbtw/edbtw2006.html#JarrarH06