Hustadt, Ullrich Programming Logics, MPI for Informatics, Max Planck Society;
Hustadt, U. (1995). Introducing Epistemic Operators into a Description Logic. In A. Laux, & H. Wansing (Eds.), Knowledge and Belief in Philosophie and Artificial Intelligence (pp. 65-86). Berlin, Germany: Akademie Verlag.