OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints.

Carolina Dania Manuel Clavel OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints. 65-75 2016 MoDELS http://dl.acm.org/citation.cfm?id=2976774 conf/models/2016 db/conf/models/models2016.html#DaniaC16