@STRING{flops10	= "Functional and Logic Programming, 10th International
		  Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010.
		  Proceedings " }
@STRING{lncs	= "Lecture Notes in Computer Science" }
@STRING{springer= "Springer-Verlag" }

@InProceedings{	  abel:flops10,
  author	= {Andreas Abel},
  title		= {{Towards Normalization by Evaluation for the
		  $\beta\eta$-Calculus of Constructions}},
  booktitle	= flops10,
  pages		= {224--239},
  year		= 2010,
  editor	= {Matthias Blume and Naoki Kobayashi and Germ{\'a}n Vidal},
  volume	= 6009,
  series	= lncs,
  publisher	= springer,
  isbn		= {978-3-642-12250-7},
  ee		= {http://dx.doi.org/10.1007/978-3-642-12251-4}
}

@Misc{		  abel:flops10long,
  author	= {Andreas Abel},
  title		= {{Towards Normalization by Evaluation for the Calculus of
		  Constructions (Extended Version)}},
  howpublished	= {Available on the author's homepage},
  month		= jan,
  year		= 2010,
  url		= {http://www.tcs.ifi.lmu.de/\~{}abel/flops10long.pdf}
}