1. Apt KR, Blair HA, Walker A (1988) Chapter 2 - Towards a theory of declarative knowledge. In: Minker J (ed) Foundations of deductive databases and logic programing. Morgan Kaufmann, pp 89–148. https://doi.org/10.1016/B978-0-934613-40-8.50006-3
2. Baader F (2009) Description logics. In: Tessaris S, Franconi E, Eiter T, Gutierrez C, Handschuh S, Rousset MC, Schmidt RA (eds) Reasoning Web. Semantic Technologies for Information Systems. 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009, Tutorial Lectures, Springer, pp 1–3
3. Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (eds) (2003) The description logic handbook: theory, implementation, and applications. Cambridge University Press, New York
4. Bachmair L, Ganzinger H (2001) Resolution theorem proving. In: Handbook of automated reasoning. Elsevier, pp 19–99
5. Balke W, Kroll H (2020a) Lecture 5 - Knowledge-based systems and deductive databases lecture notes. http://www.ifis.cs.tu-bs.de/sites/default/files/KBS WiSe20 v5.pdf