Baader, Franz: 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. Santa Cruz, USA, 1995, S. 168--178