U. Kohlenbach, “The Computational Strength of Extensions of Weak König’s Lemma”, BRICS, vol. 5, no. 41, Jun. 1998.