Book Section

Wolter, F. and Zakharyaschev, Michael (1998) On the decidability of description logics with modal operators. In: Cohn, A.G. and Schubert, L.K. and Shapiro, S.C. (eds.) KR '98: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, pp. 512-523. ISBN 9781558605541.