@article{Koh:08x,
  journal = {SMF - Gazette des Mathematiciens},
  year = 2008,
  volume = 118,
  pages = {29--41},
  title = {{H}erbrand's theorem and extractive proof theory},
  author = {Kohlenbach, Ulrich},
}