Universal covers of non-negatively curved manifolds and formality
scientific article; zbMATH DE number 7896140