Exponential time and bounded arithmetic (1986)

by P Clote, G Takeuti
Venue:In Proceedings of the 1st Structure in Complexity Theory Annual Conference