On the dimensional reduction of quadratic higher-derivative gravitational terms M. D. Pollock Eur. Phys. J. Plus, 134 1 (2019) 22 Published online: 15 January 2019 DOI: 10.1140/epjp/i2019-12376-9