A terminological knowledge representation system with complete inference algorithms (1991)

by F Baader, B Hollunder
Venue:In Proc. of the Workshop on Processing Declarative Knowledge (PDK’91), Lecture Notes in Artificial Intelligence