Analyzing Nash-Williams' partition theorem by means of ordinal types
scientific article; zbMATH DE number 63133
scientific article