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