1. Alessandro Artale and Enrico Franconi. A temporal description logic for reasoning about actions and plans. Journal of Artificial Intelligence Research, 9:463–506, 1998.
2. Alessandro Artale and Enrico Franconi. Temporal description logics. In L. Vila, P. van Beek, M. Boddy, M. Fisher, D. Gabbay, A. Galton, and R. Morris, editors, Handbook of Time and Temporal Reasoning in Artificial Intelligence. MIT Press, 1999. To appear.
3. Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi. A unified framework for class-based representation formalisms. In Proc. of the 4
thInternational Conference on Principles of Knowledge Representation and Reasoning, Bonn, Germany, May 1994.
4. D. Calvanese, M. Lenzerini, and D. Nardi. Description logics for conceptual data modeling. In Jan Chomicki and Günter Saake, editors, Logics for Databases and Information Systems. Kluwer, 1998.
5. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Daniele Nardi. Reasoning in expressive description logics. In Alan Robinson and Andrei Voronkov, editors, Handbook of Automated Reasoning. Elsevier Science Publishers, Amsterdam, 1999. To appear.