Effective Kan Fibrations in Simplicial Sets - van den Berg, Benno; Faber, Eric (Cham Springer International Publishing AG, 2023)