Ulrich Kohlenbach On uniform weak König's lemma. 103-116 2002 114 Ann. Pure Appl. Logic 1-3 db/journals/apal/apal114.html#Kohlenbach02