Automated reasoning on UML conceptual schemas with derived information and queries

Journal 2013