Hernest, Mircea-Dan, and Ulrich Kohlenbach. “A Complexity Analysis of Functional Interpretations”. BRICS Report Series 10, no. 12 (February 6, 2003). Accessed April 28, 2024. https://tidsskrift.dk/brics/article/view/21782.