Gräber, Andrea,
Bürkert, Hans-Jürgen and
Laux, Armin. 1995.
“Terminological Reasoning with Knowledge and Belief.” in
Knowledge and Belief in Philosophy and Artificial Intelligence, edited by Armin
Laux and Heinrich Theodor
Wansing, pp. 29–64. Berlin: Akademie Verlag.