M. DeVos and K. Nurse, “A Short Proof of Seymour’s 6-Flow Theorem”, Electron. J. Combin., vol. 32, no. 4, p. P4.13, Oct. 2025.