Correctness of Anytime Deduction for Probabilistic Logic - Hansen, Pierre; Jaumard, Brigitte; Poggi De Aragao, Marcus V.S.; Carvalho de Souza, C (Groupe d’études et de recherche en analyse des décisions, 1997)