Your search returned the following 2 documents:

2. A Resolution-Based Decision Procedure for Extensions of K4
   Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, and Renate A. Schmidt
   In: Advances in Modal Logic, Volume 2, 2001, 225-246
   [PS: Download: _01AIML.ps.gz]
   
1. Combining Dynamic Logic and Doxastic Modal Logics
   Renate A. Schmidt and Dmitry Tishkovsky
   In: Advances in Modal Logic, 2003, 371-391