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