Didier Cayrac Didier Dubois Henri Prade Practical model-based diagnosis with qualitative possibilistic uncertainty. 68-76 1995 conf/uai/1995 UAI http://rome.exp.sis.pitt.edu/UAI/Abstract.asp?articleID=421&proceedingID=11 db/conf/uai/uai1995.html#CayracDP95