Decomposing a planar graph with girth at least 8 into a forest and a matching
scientific article; zbMATH DE number 5886369