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 [Internet]. 2021 Apr. 26 [cited 2024 Apr. 26];19(11):1867-74. Available from: https://latamt.ieeer9.org/index.php/transactions/article/view/4502