[1]
A. Pease and S. Schulz, “Contradiction Detection and Repair in a Large Theory”, FLAIRS, vol. 35, May 2022.