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, и C. Ré. Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, стр. 2650--2663. Online, Association for Computational Linguistics, (июля 2020)