TY  - RPRT
TI  - Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects
AU  - Nick Feng
AU  - Lina Marsso
AU  - Marsha Chechik
PY  - 2024
DO  - 10.1145/3691620.3695522
UR  - https://arxiv.org/abs/2409.09223
ID  - 2409.09223
ER  -