@article{Leu:06a,
  journal = {Electronic Notes in Theoretical Computer Science},
  year = 2006,
  volume = 165,
  title = {Proof mining in $R$-trees and hyperbolic spaces },
  pages = {95-106},
  note = {in Proceedings of the 13th Workshop on Logic, Language, Information
          and Computation (WoLLIC'2006), Stanford, CA, USA, July 18-21, 2006},
  author = {Leu\c stean, Lauren\c tiu},
}