Anna Queralt, Ernest Teniente. Decidable Reasoning in UML Schemas with Constraints. In Zohra Bellahsene, Michel Léonard, editors, Advanced Information Systems Engineering, 20th International Conference, CAiSE 2008, Montpellier, France, June 16-20, 2008, Proceedings. Volume 5074 of Lecture Notes in Computer Science, pages 281-295, Springer, 2008. [doi]
Abstract is missing.