Huang, D., and W. Wang. “Planar Graphs of Maximum Degree Six Without 7-Cycles Are Class One”. The Electronic Journal of Combinatorics, Vol. 19, no. 3, Aug. 2012, p. P17, doi:10.37236/2589.