Correctness criteria of some algorithms for uncertain reasoning using incidence calculus by Alan Bundy. Published by Dept. of Artificial Intelligence, University of Edinburgh in 1985. Publication and catalogue information, links to buy online and reader comments.