Haarslev, Volker ; Moller, Ralf ; et al, D. L. McGuinness (Bearb.): Description of the {RACER} System and its Applications. In: Proceedings of the 2001 International Workshop on Description Logics (DL-2001) : CEUR Workshop Proceedings, 2001