Planar graphs with maximum degree 7 and without 5-cycles are 8-totally-colorable
scientific article; zbMATH DE number 5798532
scientific article