BaaderBhHMNNP91'

@inproceedings{DBLP:conf/dlog/BaaderBhHMNNP91,
  author    = {Franz Baader and
               Hans-J{\"u}rgen B{\"u}rckert and
               Jochen Heinsohn and
               Bernhard Hollunder and
               J{\"u}rgen M{\"u}ller and
               Bernhard Nebel and
               Werner Nutt and
               Hans-J{\"u}rgen Profitlich},
  title     = {Terminological Knowledge Representation: A Proposal for
               a Terminological Logic},
  booktitle = {Description Logics},
  year      = {1991},
  pages     = {120-128},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}