Marder, Ulrich, Ritter, Norbert, Steiert, Hans-Peter: A DBMS-based Approach for Checking OCL Constraints. In: OOPSLA'99-Workshop. Denver, 1999