@article{Koh:98c,
  author = {Kohlenbach, Ulrich},
  volume = 13,
  year = 1998,
  journal = {Electronic Notes in Theoretical Computer Science},
  pages = {34pp.},
  title = {Proof theory and computational analysis},
}