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

by F Baader, B Hollunder
Venue:In Proceedings of the First International Workshop on Processing Declarative Knowledge