@article{Fre20g,
  author = {Anton Freund},
  pages = {952-975},
  title = {From Kruskal's theorem to Friedman's gap condition},
  year = {2020},
  volume = {30},
  number = {8},
  journal = {Mathematical Structures in Computer Science},
}