@InProceedings{	  abel:nbe09,
  author	= {Andreas Abel},
  title		= {Extensional Normalization in the Logical Framework with
		  Proof Irrelevant Equality},
  booktitle	= {Workshop on Normalization by Evaluation, affiliated to
		  LiCS 2009, Los Angeles, 15 August 2009},
  year		= 2009,
  editor	= {Olivier Danvy}
}