Motik, Boris
Reasoning in Description Logics using Resolution and Deductive Databases
Universität Karlsruhe, Fak. f. Wirtschaftswissenschaften. Diss. v. 09.01.2006.
S. Arora, A. May, J. Zhang, und C. Ré. Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, Seite 2650--2663. Online, Association for Computational Linguistics, (Juli 2020)