R. Diestel, “A Simple Existence Criterion for Normal Spanning Trees”, Electron. J. Combin., vol. 23, no. 2, p. P2.33, May 2016.