Huang, D.; Wang, W. Planar Graphs of Maximum Degree Six Without 7-Cycles Are Class One. Electron. J. Combin. 2012, 19, P17.