Intuitionistic propositional logic is polynomial-space complete (1979)

by Richard Statman
Venue:Theoretical Computer Science