The Geometric Realization of a Kan Fibration is a Serre Fibration
scientific article; zbMATH DE number 3288487