Adam J. Grove, Joseph Y. Halpern: Naming and Identity in a Multi-Agent Epistemic Logic. KR 1991: 301-312