A six-color theorem for the edge-face coloring of plane graphs. - Cuiqin Lin; Guanzhang Hu; Zhongfu Zhang (Discret. Math., 1995)