E. T. Kofler C. T. Leondes Algorithmic Modifications to the Theory of Evidential Reasoning. 269-279 1994 17 J. Algorithms 2 db/journals/jal/jal17.html#KoflerL94