@Article{CKM17,
author={Thomas Caridroit and Sébastien Konieczny and Pierre Marquis},
title= {Contraction in propositional logic},
journal = {International Journal of Approximative Reasoning},
volume = {80},
pages = {428-442},
year= {2017}
}