On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases. - Riley Kinahan; Spencer Killen; Kevin Wan; Jia-Huai You (Theory Pract. Log. Program., 2024)