D. Huang and W. Wang, “Planar Graphs of Maximum Degree Six without 7-cycles are Class One”, Electron. J. Combin., vol. 19, no. 3, p. P17, Aug. 2012.