PEASE, A.; SCHULZ, S. 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: 8 may. 2024.