Cuiqin Lin, Guanzhang Hu, Zhongfu Zhang: A six-color theorem for the edge-face coloring of plane graphs. Discret. Math. 141(1-3): 291-297 (1995)