@InProceedings{alti:lics96,
  author = 	 "Thorsten Altenkirch and Martin Hofmann and Thomas Streicher",
  title = 	 "Reduction-free normalisation for a polymorphic system",
  pages =	 "98-106",
  booktitle =	 "11th Annual IEEE Symposium on Logic in Computer
		  Science",
  year =	 "1996",
}