Edge-coloring 4- and 5-regular projective planar graphs with no Petersen-minor
A.J.J. Kidner, E. Steffen, W. Yu, ArXiv:2512.14285 (2025).