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