@InProceedings{KLM03,
author={Sébastien Konieczny and Jérôme Lang and Pierre Marquis},
title= {Quantifying information and contradiction in propositional logic through test actions},
booktitle = {Eighteenth International Joint Conference on Artificial Intelligence (IJCAI'03)} ,
pages = {106-111},
year= {2003}
}