MoL-2023-06: Diephuis, Storm (2023) Effective Kan fibrations for simplicial groupoids, semisimplicial sets and Ex∞. [Report]