KRIS knowledge representation and inference system ; system description - Baader, Franz 1959-; Hollunder, Bernhard (Deutsches Forschungszentrum für Künstliche Intelligenz <Kaiserslautern>: Technical memo, 1990)