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, and C. Ré. Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, page 2650--2663. Online, Association for Computational Linguistics, (July 2020)