Thomas Raimbault, David Genest, Stéphane Loiseau. A useful logical semantics of UML for querying and checking UML class diagram.
International Conference on Agents and Artificial Intelligence, ICAART 2009, 2009, Porto, Portugal. pp.179 - 184.
⟨hal-03255577⟩