Bello López, Pedro, and Guillermo De Ita Luna. “An Algorithm to Belief Revision and to Verify Consistency of a Knowledge Base”. IEEE Latin America Transactions 19, no. 11 (April 26, 2021): 1867–1874. Accessed May 12, 2024. https://latamt.ieeer9.org/index.php/transactions/article/view/4502.