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

Carolina Dania, Manuel Clavel

Browse the full MODELS paper archive.