Bernhard Anrig Paul-André Monney Using propositional logic to compute probabilities in multistate systems. 113-143 1999 20 Int. J. Approx. Reasoning 2 http://dx.doi.org/10.1016/S0888-613X(98)10024-5 db/journals/ijar/ijar20.html#AnrigM99