Three-Edge-Coloring Projective Planar Cubic Graphs: A Generalization of the Four Color Theorem. - Yuta Inoue; Ken-ichi Kawarabayashi; Atsuyuki Miyashita; Bojan Mohar; Tomohiro Sonobe (FOCS, 2024)