Huang, D. and Wang, W. (2012) “Planar Graphs of Maximum Degree Six without 7-cycles are Class One”, The Electronic Journal of Combinatorics, 19(3), p. P17. doi: 10.37236/2589.