John Canny, «Some Algebraic and Geometric Computations in PSPACE», Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, ACM, sTOC '88, , p.460–467 (ISBN9780897912648, DOI10.1145/62212.62257, lire en ligne, consulté le )
Wojciech Plandowski, «Satisfiability of Word Equations with Constants is in PSPACE», Proceedings of the 40th Annual Symposium on Foundations of Computer Science, IEEE Computer Society, fOCS '99, , p.495– (ISBN9780769504094, lire en ligne, consulté le )
H. B., III Hunt, «On the time and tape complexity of languages. I», dans Fifth Annual ACM Symposium on Theory of Computing (Austin, Tex., 1973), (lire en ligne), p.10-19.
D. Kozen, «Lower bounds for natural proof systems», 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), , p.254–266 (DOI10.1109/SFCS.1977.16, lire en ligne, consulté le ):
Thomas J. Schaefer, «On the complexity of some two-person perfect-information games», Journal of Computer and System Sciences, vol.16, no2, , p.185–225 (ISSN0022-0000, DOI10.1016/0022-0000(78)90045-4, lire en ligne, consulté le )
(en) Christos H. Papadimitriou et Mihalis Yannakakis, «Shortest paths without a map», Automata, Languages and Programming, Springer Berlin Heidelberg, lecture Notes in Computer Science, , p.610–620 (ISBN9783540462019, DOI10.1007/bfb0035787, lire en ligne, consulté le )
John Canny, «Some Algebraic and Geometric Computations in PSPACE», Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, ACM, sTOC '88, , p.460–467 (ISBN9780897912648, DOI10.1145/62212.62257, lire en ligne, consulté le )
D. Kozen, «Lower bounds for natural proof systems», 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), , p.254–266 (DOI10.1109/SFCS.1977.16, lire en ligne, consulté le ):
Thomas J. Schaefer, «On the complexity of some two-person perfect-information games», Journal of Computer and System Sciences, vol.16, no2, , p.185–225 (ISSN0022-0000, DOI10.1016/0022-0000(78)90045-4, lire en ligne, consulté le )
(en) Richard E. Ladner, The computational complexity of provability in systems of modal propositional logic, SIAM journal on computing, (lire en ligne), p.467--480.
Thomas J. Schaefer, «On the complexity of some two-person perfect-information games», Journal of Computer and System Sciences, vol.16, no2, , p.185–225 (ISSN0022-0000, DOI10.1016/0022-0000(78)90045-4, lire en ligne, consulté le )
(en) Christos H. Papadimitriou et Mihalis Yannakakis, «Shortest paths without a map», Automata, Languages and Programming, Springer Berlin Heidelberg, lecture Notes in Computer Science, , p.610–620 (ISBN9783540462019, DOI10.1007/bfb0035787, lire en ligne, consulté le )