@STRING{elsevier= "Elsevier" }
@STRING{entcs	= "Electronic Notes in Theoretical Computer Science" }
@STRING{mfps07	= "Proceedings of the 23rd Conference on the Mathematical
		  Foundations of Programming Semantics (MFPS XXIII), New
		  Orleans, LA, USA, 11-14 April 2007" }

@InProceedings{	  abelAehligDybjer:mfps07,
  author	= {Andreas Abel and Klaus Aehlig and Peter Dybjer},
  title		= {Normalization by Evaluation for {Martin-L\"of} Type Theory
		  with One Universe},
  booktitle	= mfps07,
  pages		= {17--39},
  year		= 2007,
  editor	= {Marcelo Fiore},
  volume	= 173,
  series	= entcs,
  publisher	= elsevier
}