Nick Feng, Lina Marsso, Marsha Chechik. Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects. In Vladimir Filkov, Baishakhi Ray, Minghui Zhou 0001, editors, Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, ASE 2024, Sacramento, CA, USA, October 27 - November 1, 2024. pages 1521-1532, ACM, 2024. [doi]
Abstract is missing.