Two AGM-style characterizations of model repair - Guerra, Paulo T; Wassermann, Renata (International Conference on Principles of Knowledge Representation and Reasoning - KR, 2018)