Christophe Geissler, Kurt Konolige. A Resolution Method for Quantified Modal Logics of Knowledge and Belief. In Joseph Y. Halpern, editor, Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986. pages 309-324, Morgan Kaufmann, 1986.
Abstract is missing.