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