@article{Freund_2020,
    doi = {10.1017/s0960129520000298},
    url = {https://doi.org/10.1017%2Fs0960129520000298},
    year = {2020},
    month = {sep},
    publisher = {Cambridge University Press ({CUP})},
    volume = {30},
    number = {8},
    pages = {952--975},
    author = {Anton Freund},
    title = {From Kruskal's theorem to Friedman's gap condition},
    journal = {Mathematical Structures in Computer Science}
}

@article{Freund_2020, doi = {10.1017/s0960129520000298}, url = {https://doi.org/10.1017%2Fs0960129520000298}, year = {2020}, month = {sep}, publisher = {Cambridge University Press ({CUP})}, volume = {30}, number = {8}, pages = {952--975}, author = {Anton Freund}, title = {From Kruskal's theorem to Friedman's gap condition}, journal = {Mathematical Structures in Computer Science} }