Pease, A. and Schulz, S. (2022) “Contradiction Detection and Repair in a Large Theory”, The International FLAIRS Conference Proceedings, 35. doi: 10.32473/flairs.v35i.130691.