The following publications are possibly variants of this publication:
- Brouwer s fan theorem and unique existence in constructive analysisJosef Berger, Hajime Ishihara. mlq, 51(4):360-364, 2005. [doi]
- The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent ChoiceJosef Berger, Hajime Ishihara, Peter Schuster. rml, 47:63-86, 2012. [doi]