Baader, F. (1995), Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology, in 'Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95' , pp. 168--178 .