Two AGM-style characterizations of model repair - Oliveira, Paulo de Tarso Guerra; Wassermann, Renata (Annals of Mathematics and Artificial Intelligence, 2019)