@inproceedings{baader95computing,
	title = {Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology},
	address = {Santa Cruz, USA},
	author = {Franz Baader},
	booktitle = {Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, {KRUSE} 95},
	pages = {168--178},
	url = {citeseer.ist.psu.edu/baader95computing.html},
	year = {1995},
	biburl = {http://www.bibsonomy.org/bibtex/25b19d5b4c170ca819c25d4e4e3379fa8/stumme},
	keywords = {analysis attribute concept description dl exploration fca formal logic }
}