Pease, A.; Schulz, S. Contradiction Detection and Repair in a Large Theory. FLAIRS 2022, 35.