PSPACE reasoning for rank-1 modal logics (2006)

by L Schröder, D Pattinson
Venue:In Logic in Computer Science, LICS 06