On modal \(\mu \)-calculus over finite graphs with small components or small tree width
scientific article; zbMATH DE number 6073962