V. Haarslev, R. Möller, und A. Turhan. IJCAR '01: Proceedings of the First International Joint Conference on Automated Reasoning, Seite 61--75. London, UK, Springer-Verlag, (2001)
V. Haarslev, und R. Möller. Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2001), Volume 2083 von Lecture Notes in Artificial Intelligence, Seite 701--�705. Springer, (2001)