Kohlenbach, U. (1999). On the Uniform Weak König’s Lemma. BRICS Report Series, 6(11). https://doi.org/10.7146/brics.v6i11.20068