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