1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
2. Bate, A., Motik, B., Cuenca Grau, B., Simancik, F., Horrocks, I.: Extending consequence-based reasoning to . In: Workshop on Description Logics (DL), CEUR, pp. 34–46 (2015)
3. Bibel, W.: Matings in matrices. Commun. ACM 26, 844–852 (1983)
4. Bibel, W.: Deduction – Automated Logic. Academic Press, London (1993)
5. Digricoli, V., Harrison, M.: Equality-based Binary Resolution. J. ACM 33(2), 253–289 (1986)