@InProceedings{CKdLM16,
author={Thomas  Caridroit and Tiago  de Lima and Sébastien  Konieczny and Pierre  Marquis},
title= {On Distances Between KD45n Kripke Models and Their Use for Belief Revision},
booktitle = {Twenty Second European Conference on Artifical Intelligence (ECAI'16)} ,
pages = {1053-1061},
year= {2016}
}