The following publications are possibly variants of this publication:
- OCL-Lite: Finite reasoning on UML/OCL conceptual schemasAnna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente. DKE, 73:1-22, 2012. [doi]
- AuRUS: Automated Reasoning on UML/OCL SchemasAnna Queralt, Guillem Rull, Ernest Teniente, Carles Farré, Toni Urpí. er 2010: 438-444 [doi]
- Incremental integrity checking of UML/OCL conceptual schemasJordi Cabot, Ernest Teniente. jss, 82(9):1459-1478, 2009. [doi]
- Reasoning on UML Conceptual Schemas with OperationsAnna Queralt, Ernest Teniente. caise 2009: 47-62 [doi]
- Reasoning on UML Class Diagrams with OCL ConstraintsAnna Queralt, Ernest Teniente. er 2006: 497-512 [doi]
- Verification and Validation of UML Conceptual Schemas with OCL ConstraintsAnna Queralt, Ernest Teniente. TOSEM, 21(2):13, 2012. [doi]
- AuRUS: explaining the validation of UML/OCL conceptual schemasGuillem Rull, Carles Farré, Anna Queralt, Ernest Teniente, Toni Urpí. SoSyM, 14(2):953-980, 2015. [doi]
- Simplification of UML/OCL schemas for efficient reasoningXavier Oriol, Ernest Teniente. jss, 128:130-149, 2017. [doi]
- Fixing Up Non-executable Operations in UML/OCL Conceptual SchemasXavier Oriol, Ernest Teniente, Albert Tort. ER 2014: 232-245 [doi]
- Computing repairs for constraint violations in UML/OCL conceptual schemasXavier Oriol, Ernest Teniente, Albert Tort. DKE, 99:39-58, 2015. [doi]
- Validation of UML Conceptual Schemas with OperationsAnna Queralt, Ernest Teniente. caise 2008: 101-104 [doi]
- Automated reasoning on UML conceptual schemas with derived information and queriesCarles Farré, Anna Queralt, Guillem Rull, Ernest Teniente, Toni Urpí. INFSOF, 55(9):1529-1550, 2013. [doi]