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