@article{Friedman_2001,
    doi = {10.1006/jcta.2000.3154},
    url = {https://doi.org/10.1006%2Fjcta.2000.3154},
    year = {2001},
    month = {jul},
    publisher = {Elsevier {BV}},
    volume = {95},
    number = {1},
    pages = {102--144},
    author = {Harvey M. Friedman},
    title = {Long Finite Sequences},
    journal = {Journal of Combinatorial Theory, Series A}
}

@article{Friedman_2001, doi = {10.1006/jcta.2000.3154}, url = {https://doi.org/10.1006%2Fjcta.2000.3154}, year = {2001}, month = {jul}, publisher = {Elsevier {BV}}, volume = {95}, number = {1}, pages = {102--144}, author = {Harvey M. Friedman}, title = {Long Finite Sequences}, journal = {Journal of Combinatorial Theory, Series A} }