@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}
}