Bernhard Nebel, Kai von Luck, Christof Peltason: Proceedings of the International Workshop on Terminological Logics 1991, Dagstuhl, Germany. DFKI Documents DFKI-D-91-13, 1991