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

by Ladner
Venue:Indiana University Logic Group