Automating Theory Repair in First Order Logic. - Wan Ki Wong; Xue Li 018; Alan Bundy (COGAI@IJCLR, 2023)