dblp: Antoni OlivéIntegrity Constraints Definition in Object-Oriented Conceptual Modeling Languages.