Volker Haarslev, Ralf Möller. High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study. In Bernhard Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001. pages 161-168, Morgan Kaufmann, 2001.
Abstract is missing.