Reasoning on UML class diagrams (0)

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