Decidable Reasoning in UML Schemas with Constraints Authors: Queralt, Anna / Teniente, Ernest Publication: CAiSE Pagination: 281-295