@misc{indiciaee379c8a0e4c1,
  title = {Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects},
  author = {Nick Feng and Lina Marsso and Marsha Chechik},
  year = {2024},
  doi = {10.1145/3691620.3695522},
  url = {https://arxiv.org/abs/2409.09223},
  note = {Source identifier: 2409.09223}
}