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