Gregory M. Provan: The validity of Dempster-Shafer belief functions. Int. J. Approx. Reason. 6(3): 389-399 (1992)