Knowledge and common knowledge in a distributed environment (1990)

by Joseph Halpern, Yoram Moses
Venue:Journal of the ACM