Baader, Franz,
Küsters, Ralf and
Mölitor, Ralf. 2000.
“Rewriting Concepts Using Terminologies.” in
KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G.
Cohn, Fausto
Giunchiglia, and Bart
Selman, pp. 297–308. San Francisco, California: Morgan Kaufmann Publishers.