[1]
S. Stephen and T. Hahmann, “Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets”, AAAI, vol. 33, no. 01, pp. 10039-10040, Jul. 2019.