1. Lect Notes Comput Sci;F. Baader,1998
2. LTCS-Report LTCS-98-09;F. Baader,1999
3. F. Baader, R. Küsters, and R. Molitor. Rewriting concepts using terminologies. In A.G. Cohn, F. Giunchiglia, and B. Selman, eds., Proc. of the 7th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-00), p. 297–308, San Francisco, CA, 2000. Morgan Kaufmann Publishers.
4. F. Baader and R. Molitor. Building and structuring description logic knowledge bases using least common subsumers and concept analysis. In B. Ganter and G. Mineau, eds., Proc. of ICCS-00, volume 1867 of Lecture Notes in Artificial Intelligence, p. 290–303. Springer-Verlag, 2000.
5. F. Baader and U. Sattler. Knowledge representation in process engineering. In Proc. ofDL-96, 1996.