Kurt Konolige Using Default and Causal Reasoning in Diagnosis. 97-135 1994 11 Ann. Math. Artif. Intell. 1-4 db/journals/amai/amai11.html#Konolige94 http://dx.doi.org/10.1007/BF01530739