P. Bello López and G. De Ita Luna, “An Algorithm to Belief Revision and to Verify Consistency of a Knowledge Base”, IEEE LAT AM T, vol. 19, no. 11, pp. 1867–1874, Apr. 2021.