Decidable Reasoning in UML Schemas with Constraints | Publicación