Profitlich: Terminological Knowledge Representation: A Proposal for a Terminological Logic. DFKI Technical Memo TM-90-04, Deutsches Forschungszentrum für Künstliche Intelligenz (1990)

by F Baader, H-J Bürckert, J Heinsohn, J Müller, B Hollunder, B Nebel, W Nutt, H-J