The computational complexity of provability in systems of modal propositional logic (1977)

by R Ladner
Venue:SIAM Journal on Computing