An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on (1994)

by F Baader, E Franconi, B Hollunder, B Nebel, H-J Profitlich
Venue:Special Issue on Knowledge Base Management