1. Lecture Notes in Computer Science;N Alechina,2001
2. Artale, A., Franconi, E.: A survey of temporal extensions of description logics. Ann. Math. Artif. Intell. 30(1–4) (2001)
3. Artale, A., Lutz, C., Toman, D.: A description logic of change. In: Int’l Workshop on Description Logics (DL 2006), pp. 97–108 (2006)
4. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
5. Bellin, G., de Paiva, V., Ritter, E.: Extended Curry-Howard correspondence for a basic constructive modal logic. In: Methods for Modalities II (2001)