Approximations for efficient computation in the theory of evidence · Study