Kohlenbach, Ulrich, and Paulo B. Oliva. “Proof Mining: A Systematic Way of Analysing Proofs in Mathematics”. BRICS Report Series 9, no. 31 (June 5, 2002). Accessed May 4, 2024. https://tidsskrift.dk/brics/article/view/21746.