Volker Haarslev, Ralf Möller. High Performance Reasoning with Very Large Knowledge Bases. In Franz Baader, Ulrike Sattler, editors, Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000. Volume 33 of CEUR Workshop Proceedings, pages 143-152, CEUR-WS.org, 2000. [doi]