Linearizing well quasi-orders and bounding the length of bad sequences
scientific article; zbMATH DE number 6493328
scientific article