Dang, D.-C.; Opris, A.; Salehi, B.; Sudholt, D. A Proof That Using Crossover Can Guarantee Exponential Speed-Ups in Evolutionary Multi-Objective Optimisation. AAAI 2023, 37, 12390-12398.