@STRING{ieee	= "IEEE Computer Society Press" }
@STRING{lics07	= "22nd IEEE Symposium on Logic in Computer Science (LICS
		  2007), 10-12 July 2007, Wroclaw, Poland, Proceedings" }

@InProceedings{	  abelCoquandDybjer:lics07,
  author	= {Andreas Abel and Thierry Coquand and Peter Dybjer},
  title		= {Normalization by Evaluation for {Martin-L\"of Type Theory}
		  with Typed Equality Judgements},
  booktitle	= lics07,
  year		= 2007,
  ee		= {http://doi.ieeecomputersociety.org/10.1109/LICS.2007.33},
  publisher	= ieee,
  pages		= {3--12},
  bibsource	= {DBLP, http://dblp.uni-trier.de}
}