Falappa, M.A. and Fermé, E.L. 2000. On the implementation of the belief change operators. Journal of Computer Science and Technology. 1, 02 (Mar. 2000), 12 p.