Alan Bundy Correctness Criteria of Some Algorithms for Uncertain Reasoning Using Incidence Calculus. 109-126 1986 2 J. Autom. Reasoning 2 db/journals/jar/jar2.html#Bundy86