Well-quasi-ordering Friedman ideals of finite trees proof of Robertson's magic-tree conjecture. Bowler, Nathan J. Nigussie, Yared 2024 - Forschungsinformationssystem der UHH