%0 Conference Paper
%1 baader95computing
%A Baader, Franz
%B Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95
%C Santa Cruz, USA
%D 1995
%K analysis attribute concept description dl exploration fca formal logic
%P 168--178
%T Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology
%U citeseer.ist.psu.edu/baader95computing.html