D. Fensel, I. Horrocks, F. van Harmelen, S. Decker, M. Erdmann, und M. Klein. Knowledge Engineering and Knowledge Management;
Methods, Models and Tools, Proceedings of the 12th
International Conference EKAW 2000, LNCS 1937, Seite 1--16. Juan-les-Pins, France, Springer-Verlag, (Oktober 2000)
V. Haarslev, und R. Möller. Automated Reasoning: First International Joint
Conference (IJCAR) 2001, Volume 2083 von Lecture Notes in Computer Science, Seite 701. Siena, Italy, Springer-Verlag, (Juni 2001)