Reasoning on UML Class Diagrams (2003)

by Daniela Berardi , Andrea Cali , Diego Calvanese , Giuseppe Di Giacomo
Venue:ARTIFICIAL INTELLIGENCE
Citations:96 - 23 self