A terminological knowledge representation system with complete inference algorithm - Baader, F; Hollunder, B (Proceedings of the Workshop on Processing Declarative Knowledge, PDK0-91 (Lecture Notes in Artificial Intelligence #567) Berlin, Heidelberg: Springer-Verlag, 1991)