@inproceedings{Koh:18,
  booktitle = {Proc. of the International Congress for Mathematicians 2018 (ICM
               2018) Vol.2},
  year = 2019,
  pages = {61-82},
  title = {Proof-theoretic methods in nonlinear analysis},
  author = {Kohlenbach, Ulrich},
  publisher = {World Scientitic},
}