PSPACE bounds for rank-1 modal logics (1985)

by L Schröder, D Pattinson
Venue:In Proceedings of LICS 2006