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