Gregory M. Provan: An Analysis of ATMS-Based Techniques for Computing Dempster-Shafer Belief Functions. IJCAI 1989: 1115-1120