Model-based Algorithm for Belief Revisions between Normal Conjunctive Forms. - Guillermo De Ita Luna; Fernando Zacarías Flores; Alma Delia García (Computación y Sistemas, 2017)