@STRING{entcs	= "Electronic Notes in Theoretical Computer Science" }

@InProceedings{	  abel:entcs04,
  author	= {Andreas Abel},
  title		= {Normalization for the Simply-Typed Lambda-Calculus in
		  {Twelf}},
  editor	= {Carsten Sch\"urmann},
  booktitle	= {Logical Frameworks and Metalanguages (LFM 04)},
  year		= 2007,
  note		= {Workshop Post-Proceedings, to appear},
  series	= entcs,
  publisher	= elsevier
}