@PhdThesis{alti:phd93,
  author = 	 "Thorsten Altenkirch",
  title = 	 "Constructions, Inductive Types and Strong Normalization",
  school = 	 "University of Edinburgh",
  year = 	 "1993",
  month =	 "November",
}