Herbrand analyses in geometry: A case study. - Luisa Marie Després; Ulrich Kohlenbach (J. Log. Comput., 2025)