Kohlenbach, U. The Computational Strength of Extensions of Weak König’s Lemma. BRICS 1998, 5.