Total colorings of planar graphs with maximum degree at least 8
scientific article; zbMATH DE number 5643469