@workingPaper{Laux_1992,
title={Integrating a modal logic of knowledge into terminological logics},
author={Laux, Armin},
doi={http://dx.doi.org/10.22028/D291-24988},
year={1992}
}