G.: Reasoning on UML class diagrams (2005)

by D Berardi, D Calvanese, De Giacomo
Venue:Artificial Intelligence