@inproceedings{BredeHerbelin21,
  author      = {Nuria Brede and Hugo Herbelin},
  title       = {On the logical structure of choice and bar induction principles},
  booktitle   = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                 2021, Rome, Italy, June 29 - July 2, 2021},
  pages       = {1--13},
  publisher   = {{IEEE}},
  year        = {2021},
  url         = {https://doi.org/10.1109/LICS52264.2021.9470523},
  doi         = {10.1109/LICS52264.2021.9470523},
}