U. Kohlenbach, “On the Uniform Weak König’s Lemma”, BRICS, bd. 6, nr. 11, jan. 1999.