@workingPaper{BaaderHollunderNebelProfitlichFranconi_1993,
title={An empirical analysis of optimization techniques for terminological representation systems : or: 'Making KRIS get a move on'},
author={Baader, Franz and Hollunder, Bernhard and Nebel, Bernhard and Profitlich, Hans-Jürgen and Franconi, Enrico},
doi={http://dx.doi.org/10.22028/D291-24994},
year={1993}
}