1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Theory, Implementation and Applications. Cambridge University Press, Cambridge (2002)
2. Brachman, R.J., Levesque, H.J.: Competence in Knowledge Representation. In: AAAI, pp. 189–192 (1982)
3. Lecture Notes in Computer Science;J. Bruijn de,2007
4. Denecker, M., Ternovska, E.: A logic of non-monotone inductive definitions. Transactions On Computational Logic (TOCL) (2008)
5. Lecture Notes in Computer Science;M. Denecker,2007