PSPACE bounds for rank 1 modal logics (2006)

by Lutz Schröder , Dirk Pattinson
Venue:IN LICS’06
Citations:26 - 15 self