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]
@inproceedings{HaarslevM00,
title = {High Performance Reasoning with Very Large Knowledge Bases},
author = {Volker Haarslev and Ralf Möller},
year = {2000},
url = {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-33/Haarslev143-152.ps},
researchr = {https://researchr.org/publication/HaarslevM00},
cites = {0},
citedby = {0},
pages = {143-152},
booktitle = {Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000},
editor = {Franz Baader and Ulrike Sattler},
volume = {33},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}