@article{Carayol_2010,
    doi = {10.2478/s11533-010-0046-z},
    url = {https://doi.org/10.2478%2Fs11533-010-0046-z},
    year = {2010},
    month = {jan},
    publisher = {Walter de Gruyter {GmbH}},
    volume = {8},
    number = {4},
    author = {Arnaud Carayol and Christof Löding and Damian Niwinski and Igor Walukiewicz},
    title = {Choice functions and well-orderings over the infinite binary tree},
    journal = {Open Mathematics}
}

@article{Carayol_2010, doi = {10.2478/s11533-010-0046-z}, url = {https://doi.org/10.2478%2Fs11533-010-0046-z}, year = {2010}, month = {jan}, publisher = {Walter de Gruyter {GmbH}}, volume = {8}, number = {4}, author = {Arnaud Carayol and Christof Löding and Damian Niwinski and Igor Walukiewicz}, title = {Choice functions and well-orderings over the infinite binary tree}, journal = {Open Mathematics} }