@inproceedings{conf/dlog/BaaderBhHMNNP91,
title = {Terminological Knowledge Representation: A Proposal for a Terminological Logic.},
author = {Franz Baader and Hans-Jürgen Bürckert and Jochen Heinsohn and Bernhard Hollunder and Jürgen Müller and Bernhard Nebel and Werner Nutt and Hans-Jürgen Profitlich},
booktitle = {Description Logics},
pages = {120-128},
url = {http://dblp.uni-trier.de/db/conf/dlog/dlog91.html#BaaderBhHMNNP91},
year = {1991},
description = {dblp},
date = {2002-01-03},
keywords = {dblp }
}
::