Terminologische Logik

@article{pub2351,
    author = {

Baader, Franz
 and 

Bürckert, Hans-Jürgen
 and 

Hollunder, Bernhard
 and 

Laux, Armin
 and 

Nutt, Werner
},
    title = {Terminologische Logik},
    year = {1992},
    volume = {92},
    number = {3},
    pages = {23--33},
    journal = {KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI)},
    publisher = {Springer}
}