Your search returned the following 3 documents:

3. 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]
   
2. Common and Mutual Belief for Agent Modeling
   Ullrich Hustadt
   In: Modeling Epistemic Propositions: Workshop during the 18th German Annual Conference on Artificial Intelligence (KI-94), Saarbrücken, Germany, September 20-21, 1994, 1994. Note: To appear in `Knowledge and Belief in Philosophy and Artificial Intelligence', Akademie-Verlag, Berlin, 1995
   
1. Introducing Epistemic Operators into a Description Logic
   Ullrich Hustadt
   In: Knowledge and Belief in Philosophie and Artificial Intelligence, 1995, 65-85