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