Stephen, Shirly, and Torsten Hahmann. 2019. “Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies With Datasets”. Proceedings of the AAAI Conference on Artificial Intelligence 33 (01):10039-40. https://doi.org/10.1609/aaai.v33i01.330110039.