@incollection{LeuSip2018-M,
  editor = {Bellow, Alexandra and Calude, Cristian and Zamfirescu, Tudor},
  pages = {153--168},
  title = {An application of proof mining to the proximal point algorithm in
           {CAT(0)} spaces},
  author = {Leu\c stean, Lauren\c tiu and Sipo\c s, Andrei},
  publisher = {World Scientific},
  year = {2018},
  booktitle = {Mathematics Almost Everywhere. In Memory of Solomon Marcus},
}