Huang, Danjun, and Weifan Wang. 2012. “Planar Graphs of Maximum Degree Six Without 7-Cycles Are Class One”. The Electronic Journal of Combinatorics 19 (3), P17. https://doi.org/10.37236/2589.