A Terminological Knowledge Representation System with Complete Inference Algorithms (1991)

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