Gradient Steady Ricci Solitons with Harmonic Weyl Curvature - Fengjiang Li (2021)