BibTeX record conf/dlog/BaaderBhHMNNP91

download as .bib file

@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},
  editor    = {Bernhard Nebel and
               Kai von Luck and
               Christof Peltason},
  title     = {Terminological Knowledge Representation: {A} Proposal for a Terminological
               Logic},
  booktitle = {Proceedings of the International Workshop on Terminological Logics
               1991, Dagstuhl, Germany},
  series    = {{DFKI} Documents},
  volume    = {{DFKI-D-91-13}},
  pages     = {120--128},
  year      = {1991},
  timestamp = {Wed, 31 Jul 2019 11:47:31 +0200},
  biburl    = {https://dblp.org/rec/conf/dlog/BaaderBhHMNNP91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics