Gregory M. Provan: A logic-based analysis of Dempster-Shafer theory. Int. J. Approx. Reason. 4(5-6): 451-495 (1990)