Odile Papini Antoine Rauzy A Mixed Approach of Revision in Propositional Calculus. 296-303 1993 conf/ecsqaru/1993 ECSQARU db/conf/ecsqaru/ecsqaru1993.html#PapiniR93 http://dx.doi.org/10.1007/BFb0028213