Kohlenbach, U. On the Uniform Weak König’s Lemma. BRICS 1999, 6.