An empirical analysis of optimization techniques for terminological representation systems (1992)

by F Baader, B Hollunder, B Nebel, H-J Profitlich, E Franconi
Venue:in: Proc. of the 3rd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR’92