@article{Koh:23,
  title = {Kreisel's shift of emphasis and contemporary proof mining},
  pages = {1-35},
  journal = {Studies in Logic (China)},
  author = {Ulrich Kohlenbach},
  year = 2023,
  volume = {16},
}