Baader, Franz. "Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology." Paper presented at the meeting of the Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95, Santa Cruz, USA, 1995.