A logic for reasoning about probabilities. (1990)

by R Fagin, J Y Halpern, N Megiddo
Venue:Information and Computation