Planar graphs of maximum degree seven are Class I
scientific article; zbMATH DE number 1843787