Nadia Creignou, Raïda Ktari, Odile Papini: Belief contraction and erasure in fragments of propositional logic. J. Log. Comput. 32(7): 1436-1468 (2022)