M. Pitz, “Quickly Proving Diestel’s Normal Spanning Tree Criterion”, Electron. J. Combin., vol. 28, no. 3, p. P3.59, Sep. 2021.