@STRING{lnai	= "Lecture Notes in Artificial Intelligence" }
@STRING{lpar08	= "15th International Conference on Logic for Programming,
		  Artificial Intelligence, and Reasoning, LPAR 2008, 22-27
		  November 2008, Doha, Qatar, Proceedings" }
@STRING{springer= "Springer-Verlag" }

@InProceedings{	  abel:lpar08,
  author	= {Andreas Abel},
  title		= {Weak $\beta\eta$-Normalization and Normalization by
		  Evaluation for {System~F}},
  booktitle	= lpar08,
  pages		= {497--511},
  year		= 2008,
  editor	= {Illiano Cervesato and Helmut Veith and Andrei Voronkov},
  volume	= 5330,
  series	= lnai,
  publisher	= springer
}