Knowledge, probability, and adversaries (1993)

by J Y Halpern, M R Tuttle
Venue:Journal of the ACM