Hybrid inferences in KL-ONE-based knowledge representation systems - Hollunder, Bernhard (Deutsches Forschungszentrum für Künstliche Intelligenz <Kaiserslautern>: Research report, 1990)