-
@article{FREU20, author = {Freund, Anton}, doi = {10.1017/S0960129520000298}, journal = {Mathematical Structures in Computer Science}, number = {8}, pages = {952–975}, sha256 = {1E6B0E577024D6527D64BB8D8E19DF9A42C1269E64D860C16C2F774285DEAA42}, title = {From Kruskal’s theorem to Friedman’s gap condition}, volume = {30}, year = {2020} }