Falappa, Marcelo Alejandro, and Eduardo L. Fermé. 2000. “On the Implementation of the Belief Change Operators”. Journal of Computer Science and Technology 1 (02):12 p. https://journal.info.unlp.edu.ar/JCST/article/view/1015.