@inproceedings{AHS:96,
  pages = {98-106},
  title = {Reduction-free normalisation for a polymorphic system},
  booktitle = {Proceedings of {LICS}'96},
  year = {1996},
  author = {T. Altenkirch and M. Hofmann and T. Streicher},
  publisher = {IEEE Computer Soc},
}