Franz Baader Bernhard Hollunder Bernhard Nebel Hans-Jürgen Profitlich Enrico Franconi Am empirical analysis of optimization techniques for terminological representation systems. 109-132 1994 4 Appl. Intell. 2 http://dx.doi.org/10.1007/BF00872105 db/journals/apin/apin4.html#BaaderHNPF94