Ph., Smets. "Belief functions, Non-standard logics for automated reasoning." Academic Press (1988).