1. Andersen, K., Pretolani, D.: Easy cases of probabilistic satisfiability. Ann. Math. Artif. Intell. 33(1), 69–91 (2001)
2. Andrade, P.S.S., Rocha, J., Couto, D.P., da Costa Teves, A., Cozman, F.: A toolset for propositional probabilistic logic. In: Dutra, I. de C. (ed.) ENIA 2007 (2007)
3. Baioletti, M., Capotorti, A., Tulipani, S., Vantaggi, B.: Elimination of boolean variables for probabilistic coherence. Soft Computing-A Fusion of Foundations. Methodologies Appl. 4(2), 81–88 (2000)
4. Baioletti, M., Capotorti, A., Tulipani, S., Vantaggi, B.: Simplification rules for the coherent probability assessment problem. Ann. Math. Artif. Intell. 35(1), 11–28 (2002)
5. Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Satisfiability, pp. 825–885 (2009)