@InProceedings{KP10,
author={Sébastien  Konieczny and Mattia  Medina Grespan and Ramón  Pino Pérez},
title= {Taxonomy of improvement operators and the problem of minimal change},
booktitle = {Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR'10)} ,
year= {2010}
}