Salem Benferhat Didier Dubois Henri Prade Interventions in Possibilistic Logic. 40-54 2009 SUM http://dx.doi.org/10.1007/978-3-642-04388-8_5 conf/sum/2009 db/conf/sum/sum2009.html#BenferhatDP09