Bello López, P. and De Ita Luna, G. 2021. An Algorithm to Belief Revision and to Verify Consistency of a Knowledge Base. IEEE Latin America Transactions. 19, 11 (Apr. 2021), 1867–1874.