HUANG, D.; WANG, W. Planar Graphs of Maximum Degree Six without 7-cycles are Class One. The Electronic Journal of Combinatorics, v. 19, n. 3, p. P17, 9 Aug. 2012.