@workingPaper{BaaderLaux_1994,
title={Terminological logics with modal operators},
author={Baader, Franz and Laux, Armin},
doi={http://dx.doi.org/10.22028/D291-24954},
year={1994}
}