Reductions and Extension-Based Proofs. - Kayman Brusse; Faith Ellen (PODC, 2021)