@article{Koh:92a,
  title = {Remarks on Herbrand normal forms and Herbrand Realizations},
  pages = {305--317},
  journal = {Arch. Math. Logic},
  year = 1992,
  volume = 31,
  author = {Kohlenbach, Ulrich},
}