1. Lecture Notes in Artificial Intelligence;A. Armando,2005
2. Baader, F., Lutz, C., Sturm, H., Wolter, F.: Fusions of description logics and abstract description systems. Journal of A.I. Research 16, 1–58 (2002)
3. Baumgartner, P., Furbach, U., Petermann, U.: A unified approach to theory reasoning. Research Report 15–92, Universität Koblenz-Landau (1992)
4. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2002)
5. Lecture Notes in Artificial Intelligence;M.P. Bonacina,2006