Frank Wolter, Michael Zakharyaschev
On the Decidability of Description Logics with Modal Operators
KR, 1998.
@inproceedings{KR-1998-WolterZ,
author = "Frank Wolter and Michael Zakharyaschev",
booktitle = "{Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning}",
pages = "512--523",
publisher = "{Morgan Kaufmann}",
title = "{On the Decidability of Description Logics with Modal Operators}",
year = 1998,
}