@article{Koh:17,
  volume = 10,
  year = 2017,
  journal = {IFCoLog Journal of Logics and its Applications},
  author = {Ulrich Kohlenbach},
  title = {Recent progress in proof mining in nonlinear analysis},
  pages = {3357-3406},
}