Gerhardy, P. and Kohlenbach, U. 2004. Strongly Uniform Bounds from Semi-Constructive Proofs. BRICS Report Series. 11, 31 (Dec. 2004). DOI:https://doi.org/10.7146/brics.v11i31.21856.