1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)
2. Beckert, B., Keller, U., Schmitt, P.H.: Translating the object constraint language into first-order predicate logic. In: Proceedings of Verify, Workshop at Federated Logic Conferences (FLoC’2002), pp. 113–123 (2002)
3. Beckert, B., Hähnle, R., Schmitt, P.H.: Verification of Object-Oriented Software: The KeY Approach. Springer, Berlin (2007)
4. Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams using description logic based systems. In: Proceedings of the KI-2001 Workshop on Applications of Description Logics (KI’2001) (2001). http://ceur-ws.org/Vol-44/
5. Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artif. Intell. 168(1), 70–118 (2005)