@unpublished{Pin24a,
  author = {Pedro Pinto},
  year = {2024},
  note = {Oberwolfach Preprint OWP 2024-06},
  title = {Proof mining and the convex feasibility problem: the curious case of
           {D}ykstra's algorithm},
}