Nils J. Nilsson Probabilistic Logic Revisited. 39-42 1993 59 Artif. Intell. 1-2 db/journals/ai/ai59.html#Nilsson93