@inproceedings{690285,
title = {A Formal Framework for Reasoning on UML Class Diagrams},
address = {London, UK},
author = {Andrea Cal\&\#236; and Diego Calvanese and Giuseppe De Giacomo and Maurizio Lenzerini},
booktitle = {ISMIS '02: Proceedings of the 13th International Symposium on Foundations of Intelligent Systems},
pages = {503--513},
publisher = {Springer-Verlag},
year = {2002},
isbn = {3-540-43785-1},
keywords = {class diagram formal framework reasoning uml }
}
::