@InProceedings{CKM13,
author={Thomas  Caridroit and Sébastien  Konieczny and Pierre  Marquis},
title= {Contraction en logique propositionnelle finie},
booktitle = {Journées d'Intelligence Artificielles Fondamentales (IAF'13)} ,
year= {2013}
}