Gerhard Lakemeyer, Hector J. Levesque. A Tractable Knowledge Representation Service with Full Introspection. In Moshe Y. Vardi, editor, Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, March 1988. pages 145-159, Morgan Kaufmann, 1988.
Abstract is missing.