PEASE, Adam; SCHULZ, Stephan. Contradiction Detection and Repair in a Large Theory. The International FLAIRS Conference Proceedings, [S. l.], v. 35, 2022. DOI: 10.32473/flairs.v35i.130691. Disponível em: https://journals.flvc.org/FLAIRS/article/view/130691. Acesso em: 19 feb. 2025.