"Exponentiation and Second-Order Bounded Arithmetic."

Jan Krajícek (1990)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics