U. Kohlenbach, “On the Uniform Weak König’s Lemma”, BRICS, vol. 6, no. 11, Jan. 1999.