An anytime deduction algorithm for the probabilistic logic and entailment problems - Jaumard, Brigitte; Parreira, Anderson D. (2006 Annual Meeting of the North American Fuzzy Information Processing Society – NAFIPS, 2006)