Kowalski, Robert A. and
Kim, Jin-Sang. 1991.
“A Metalogic Approach to Multi-Agent Knowledge and Belief.” in
Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, edited by Vladimir
Lifschitz, pp. 231–246. New York: Academic Press.