Uniqueness of extreme horizons in Einstein-Yang-Mills theory - Carmen Li; James Lucietti (Classical and Quantum Gravity, 2013)