Algorithmic Modifications to the Theory of Evidential Reasoning. - E. T. Kofler; Cornelius T. Leondes (J. Algorithms, 1994)