An Axiomatic Characterization of Ensconcement-Based Contraction. - Eduardo Fermé; Martín Krevneris; Maurício D. Luís Reis (J. Log. Comput., 2008)