Terminological cycles in KL-ONE-based knowledge representation languages - Baader, Franz 1959- (Deutsches Forschungszentrum für Künstliche Intelligenz <Kaiserslautern>: Research report, 1990)