Bello López, P.; De Ita Luna, G. An Algorithm to Belief Revision and to Verify Consistency of a Knowledge Base. IEEE LAT AM T 2021, 19, 1867-1874.