Franz Baader, Anni-Yasmin Turhan: On the Problem of Computing Small Representations of Least Common Subsumers. KI 2002: 99-113