Planar graphs without adjacent cycles of length at most seven are 3-colorable
scientific article; zbMATH DE number 5648183