An anytime deduction algorithm for the probabilistic logic and entailment problems - Jaumard, Brigitte; Parreira, Anderson D. (International Journal of Approximate Reasoning, 2009)