PSPACE bounds for rank 1 modal logics (2006)

by Lutz Schröder, Dirk Pattinson
Venue:IN LICS’06