Pease A, Schulz S. Contradiction Detection and Repair in a Large Theory. FLAIRS [Internet]. 2022 May 4 [cited 2024 May 8];35. Available from: https://journals.flvc.org/FLAIRS/article/view/130691