@workingPaper{Laux_1993,
title={Representing belief in multi-agent worlds via terminological logics},
author={Laux, Armin},
doi={http://dx.doi.org/10.22028/D291-24995},
year={1993}
}