Stephen, S.; Hahmann, T. Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies With Datasets. AAAI 2019, 33, 10039-10040.