Christophe Geissler and Kurt Konolige. A resolution method for quantified modal logics of knowledge and belief. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 309–324.
William J. Rapaport · Journal of Symbolic Logic · 1988
Christophe Geissler and Kurt Konolige. A resolution method for quantified modal logics of knowledge and belief. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 309–324. - Volume 53 Issue 2