V. Haarslev, и R. Möller. Automated Reasoning: First International Joint
Conference (IJCAR) 2001, том 2083 из Lecture Notes in Computer Science, стр. 701. Siena, Italy, Springer-Verlag, (июня 2001)
D. Fensel, I. Horrocks, F. van Harmelen, S. Decker, M. Erdmann, и M. Klein. Knowledge Engineering and Knowledge Management;
Methods, Models and Tools, Proceedings of the 12th
International Conference EKAW 2000, LNCS 1937, стр. 1--16. Juan-les-Pins, France, Springer-Verlag, (октября 2000)