@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},
keywords = {analysis attribute concept description dl exploration fca formal logic }
}
::