On the complexity of description logics with modal operators (1999)

by M Mosurovic, M Zakharyaschev
Venue:Proceedings of the 2nd Panhellenic Logic Symposion