@InProceedings{CKdLM16b,
author={Thomas Caridroit and Tiago de Lima and Sébastien Konieczny and Pierre Marquis},
title= {Sur les distances entre modèles de Kripke KD45n et leur utilisation pour la révision des croyances},
booktitle = {Journées d'Intelligence Artificielles Fondamentales (IAF'16)} ,
year= {2016}
}