@article{DesKoh25,
  journal = {Journal of Logic and Computation},
  note = {to appear},
  title = {{H}erbrand analyses in geometry: a case study},
  year = {2025},
  author = {Luisa Marie Despres and Ulrich Kohlenbach},
}