A deductive approach for solving probabilistic logic problems. - Brigitte Jaumard; S. Lemaire; A. D. Parreira (AI&M, 2000)