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