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