Simplification of UML/OCL schemas for efficient reasoning | Publicación