Kohlenbach, U. (1998) “The Computational Strength of Extensions of Weak König’s Lemma”, BRICS Report Series, 5(41). doi: 10.7146/brics.v5i41.19486.