Diestel, R. (2016). A Simple Existence Criterion for Normal Spanning Trees. The Electronic Journal of Combinatorics, 23(2), P2.33. https://doi.org/10.37236/6070