A contraction theorem for abstract graphs
scientific article; zbMATH DE number 3174987