@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},
	biburl = {http://www.bibsonomy.org/bibtex/27ac62be4131ffe0a873eeafc2526e4d1/dblp},
	description = {dblp},
	date = {2002-01-03},
	keywords = {dblp }
}