@STRING{csl09	= "Computer Science Logic, 23rd international Workshop, CSL
		  2009, 18th Annual Conference of the EACSL, Coimbra,
		  Portugal, September 7-11, 2009. Proceedings" }
@STRING{lncs	= "Lecture Notes in Computer Science" }
@STRING{springer= "Springer-Verlag" }

@InProceedings{	  abel:csl09,
  author	= {Andreas Abel},
  title		= {Type Structures and Normalization by Evaluation for
		  {System~F$\omega$}},
  editor	= {Erich Gr{\"a}del and Reinhard Kahle},
  booktitle	= csl09,
  year		= 2009,
  pages		= {40--54},
  volume	= 5771,
  series	= lncs,
  publisher	= springer,
  isbn		= {978-3-642-04026-9},
  ee		= {http://dx.doi.org/10.1007/978-3-642-04027-6_6}
}