//-->
A Linear Programming Pramework for Logics of Uncertainty.
Andersen, K.A., (1992)
Determining Lower and Uper Bounds on Probabilities of Logical Formulas Represented by Digraphs.
Andersen, K.A., (1994)
Bayesian logic