An Anytime Deduction Algorithm for the Probabilistic Logic and Entailment Problems - Jaumard, Brigitte; Parreira, Anderson D. (Groupe d’études et de recherche en analyse des décisions, 2006)