Hernest, M.-D. and Kohlenbach, U. (2003) “A Complexity Analysis of Functional Interpretations”, BRICS Report Series, 10(12). doi: 10.7146/brics.v10i12.21782.