Separation and Weak König's Lemma. - A. James Humphreys; Stephen G. Simpson (J. Symb. Log., 1999)