BELLO LÓPEZ, P.; DE ITA LUNA, G. An Algorithm to Belief Revision and to Verify Consistency of a Knowledge Base. IEEE Latin America Transactions, [S. l.], v. 19, n. 11, p. 1867–1874, 2021. Disponível em: https://latamt.ieeer9.org/index.php/transactions/article/view/4502. Acesso em: 12 may. 2024.