@article{HerKoh:05,
  journal = {Theoret. Comput. Sci.},
  volume = {338},
  title = {A complexity analysis of functional interpretations},
  year = {2005},
  fjournal = {Theoretical Computer Science},
  pages = {200--246},
  number = {1-3},
  author = {Hernest, Mircea-Dan and Kohlenbach, Ulrich},
}