Binary consistent choice on pairs and a generalization of Konig's infinity lemma
Volume 121 / 1984
Fundamenta Mathematicae 121 (1984), 17-23
DOI: 10.4064/fm-121-1-17-23