Bello López, Pedro, and Guillermo De Ita Luna. 2021. “An Algorithm to Belief Revision and to Verify Consistency of a Knowledge Base”. IEEE Latin America Transactions 19 (11):1867-74. https://latamt.ieeer9.org/index.php/transactions/article/view/4502.