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