Bello López, P., & De Ita Luna, G. (2021). An Algorithm to Belief Revision and to Verify Consistency of a Knowledge Base. IEEE Latin America Transactions, 19(11), 1867–1874. Retrieved from https://latamt.ieeer9.org/index.php/transactions/article/view/4502