Haarslev and Möller. "High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study." International Joint Conference on Artificial Intelligence, 2001.
Markdown
[Haarslev and Möller. "High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study." International Joint Conference on Artificial Intelligence, 2001.](https://mlanthology.org/ijcai/2001/haarslev2001ijcai-high/)
BibTeX
@inproceedings{haarslev2001ijcai-high,
title = {{High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study}},
author = {Haarslev, Volker and Möller, Ralf},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2001},
pages = {161-168},
url = {https://mlanthology.org/ijcai/2001/haarslev2001ijcai-high/}
}