Leora Morgenstern. A First Order Theory of Planning, Knowledge, and Action. In Joseph Y. Halpern, editor, Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986. pages 99-114, Morgan Kaufmann, 1986.
Abstract is missing.