Bernhard Nebel, Kai von Luck, Christof Peltason (Eds.): Proceedings of the International Workshop on Terminological Logics, DFKI-D-91-13, 1991. Also published as KIT Report and IWBS Report 184

• Alfred Kobsa: Reification in SB-ONE. (1991) Alfred Kobsa: Reification in SB-ONE. 72-74
• Guarino, Nicola A Non-Standard Approach to termino (1991) Guarino, Nicola A Non-Standard Approach to terminological Knowledge: The ITL System. pp47-50
• McGuinness, Deborah L. (1991) McGuinness, Deborah L. The CLASSIC Knowledge Representation System: Implementation, Applications, and Beyond. 80-86