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