"Knowledge and Common Knowledge in a Distributed Environment."

Joseph Y. Halpern, Yoram Moses (1984)
a service of Schloss Dagstuhl - Leibniz Center for Informatics