Gerhard Lakemeyer. On Perfect Introspection With Quantifying-in. In Yoram Moses, editor, Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1992. pages 199-213, Morgan Kaufmann, 1992.
Abstract is missing.