Hernest, M.-D.; Kohlenbach, U. A Complexity Analysis of Functional Interpretations. BRICS 2003, 10.