@InProceedings{KLM17b,
author={Sébastien  Konieczny and Jean-Marie  Lagniez and Pierre  Marquis},
title= {Boosting Distance-Based Revision Using SAT Encodings},
booktitle = {Sixth International Workshop on Logic, Rationality, and Interaction (LORI'17)} ,
pages = {480-496},
year= {2017}
}