An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis
scientific article; zbMATH DE number 7627922