@misc{indiciae7a8dea5f3696,
  title = {On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases},
  author = {Riley Kinahan and Spencer Killen and Kevin Wan and Jia-Huai You},
  year = {2024},
  doi = {10.1017/s1471068424000255},
  url = {https://arxiv.org/abs/2408.09626},
  note = {Source identifier: 2408.09626}
}