Terminological Knowledge Representation: A Proposal for a Terminological Logic.

@inproceedings{pub2511,
    author = {

Baader, Franz
 and 

Bürckert, Hans-Jürgen
 and 

Heinsohn, Jochen
 and 

Hollunder, Bernhard
 and 

Müller, Jürgen
 and 

Nutt, Werner
 and 

Profitlich, Hans-Jürgen
},
    editor = {

Luck, Kai von
 and 

Peltason, Christoph
 and 

Nebel, Bernhard
},
    title = {Terminological Knowledge Representation: A Proposal for a Terminological Logic.},
    booktitle = {Proceedings of the International Workshop on Terminological Logics. International Workshop on Terminological Logics, March 6-8, Dagstuhl, Germany},
    series = {DFKI Documents (D)},
    year = {1991},
    volume = {91-13},
    pages = {120--128},
    organization = {DFKI GmbH},
    publisher = {DFKI GmbH},
    note = {Also published as KIT Report and IWBS Report 184}
}