1. Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P (2007) The description logic handbook. Cambridge University Press, Cambridge
2. Baumgartner P, Furbach U, Niemel I (1996) Hyper tableaux. JELIA 1126:1–17
3. Johnson-Laird P (2011) Mental models and human reasoning. PNAS 108(50):19862–19864
4. Motik B (2006) Reasoning in description logics using resolution and deductive databases. Karlsruhe Institute of Technology, pp 1–249
5. Ray O, Broda K, Russo A (2003) Hybrid abductive inductive learning: a generalisation of progol. ILP 2835:311–328