@STRING{lfm04	= "Logical Frameworks and Metalanguages (LFM 2004), IJCAR
		  Satellite Workshop, Cork, Ireland" }

@InProceedings{	  abel:lfm04,
  author	= {Andreas Abel},
  title		= {Weak Normalization for the Simply-Typed Lambda-Calculus in
		  {Twelf}},
  booktitle	= lfm04,
  year		= 2004
}