On the logic of theory change: iteration of expansion - Fermé, Eduardo; Wassermann, Renata (Journal of the Brazilian Computer Society, 2018)