Discrete Versions of the KKM Lemma and Their PPAD-Completeness. - Alexander Grishutin; Daniil Musatov (CSR, 2022)