| Title | The Computational Complexity of Provability in Systems of Modal Propositional Logic |
| Publication Type | Journal Article |
| Year of Publication | 1977 |
| Authors | Ladner RE |
| Journal | SIAM Journal on Computing |
| Volume | 6 |
| Issue | 3 |
| Pagination | 467-480 |
| Citation Key | 1730 |
