@inproceedings{HerbelinKoleilat24,
  author      = {Hugo Herbelin and Jad Koleilat},
  editor      = {Jakob Rehof},
  title       = {On the Logical Structure of Some Maximality and Well-Foundedness Principles
                 Equivalent to Choice Principles},
  booktitle   = {9th International Conference on Formal Structures for Computation
                 and Deduction, {FSCD} 2024, Tallinn, Estonia, July 10-13, 2024},
  series      = {LIPIcs},
  volume      = {299},
  pages       = {26:1--26:15},
  publisher   = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year        = {2024},
  url         = {https://doi.org/10.4230/LIPIcs.FSCD.2024.26},
  doi         = {10.4230/LIPICS.FSCD.2024.26},
  timestamp   = {Fri, 21 Nov 2025 23:44:11 +0100},
  biburl      = {https://dblp.org/rec/conf/fscd/HerbelinK24.bib},
  bibsource   = {dblp computer science bibliography, https://dblp.org}
}