Huang, D., & Wang, W. (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