@InProceedings{CKdLM14,
author={Thomas Caridroit and Tiago de Lima and Sébastien Konieczny and Pierre Marquis},
title= {Expansion et révision privées dans KD45n},
booktitle = {Journées d'Intelligence Artificielles Fondamentales (IAF'14)} ,
year= {2014}
}