Xavier Oriol, Ernest Teniente. UNIV: Expressive UML/OCL Conceptual Schemas for Finite Reasoning. In Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma 0001, Oscar Pastor, editors, Conceptual Modeling - 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings. Volume 10650 of Lecture Notes in Computer Science, pages 354-369, Springer, 2017. [doi]
Abstract is missing.