Quantifying information and contradiction in propositional logic through test actions. - Konieczny, Sébastien; Lang, Jérôme; Marquis, Pierre (2003)