Elwood Wilkins, Simon H. Lavington: Belief Functions and the Possible Worlds Paradigm. J. Log. Comput. 12(3): 475-495 (2002)