Peter Clote Gaisi Takeuti Exponential Time and Bounded Arithmetic. 125-143 1986 conf/coco/1986 Structure in Complexity Theory Conference db/conf/coco/coco1986.html#CloteT86