Anytime Deduction for Probabilistic Logic.

Alan M. Frisch Peter Haddawy Anytime Deduction for Probabilistic Logic. 93-122 1994 69 Artif. Intell. 1-2 db/journals/ai/ai69.html#FrischH94