Peter Clote, Gaisi Takeuti. Exponential Time and Bounded Arithmetic. In Alan L. Selman, editor, Structure in Complexity Theory, Proceedings of the Conference hold at the University of California, Berkeley, California, June 2-5, 1986. Volume 223 of Lecture Notes in Computer Science, pages 125-143, Springer, 1986.
Abstract is missing.