Terminological Knowledge Representation: A Proposal for a Terminological Logic

@techreport{pub2531,
    author = {

Baader, Franz
 and 

Bürckert, Hans-Jürgen
 and 

Heinsohn, Jochen
 and 

Hollunder, Bernhard
 and 

Müller, Jürgen
 and 

Nebel, Bernhard
 and 

Nutt, Werner
 and 

Profitlich, Hans-Jürgen
},
    title = {Terminological Knowledge Representation: A Proposal for a Terminological Logic},
    series = {DFKI Technical Memos (TM)},
    year = {1990},
    volume = {90-04},
    pages = {7},
    institution = {DFKI GmbH}
}