Didier Cayrac, Didier Dubois, Henri Prade: Practical Model-Based Diagnosis with Qualitative Possibilistic Uncertainty. CoRR abs/1302.4936 (2013)