Pease, Adam, and Stephan Schulz. “Contradiction Detection and Repair in a Large Theory”. The International FLAIRS Conference Proceedings 35 (May 4, 2022). Accessed February 19, 2025. https://journals.flvc.org/FLAIRS/article/view/130691.