@InProceedings{AehligHaftmannNipkow08,
  author =       {Aehlig, Klaus and Haftmann, Florian and Nipkow, Tobias},
  title =        {A Compiled Implementation of Normalization by Evaluation},
  crossref =     {TPHOLs08},
  pages =        {39--54}
}


@Proceedings{TPHOLs08,
  title =        {Proceedings of the Twentyfirst International Conference on
    Theorem Proving in Higher Order Logics},
  booktitle =    {Proceedings of the Twentyfirst International Conference on
    Theorem Proving in Higher Order Logics},
  editor =       {Mohamed, Ait Otmane and Mu{\~n}oz, C{\'e}sar and Tahar, Sofi{\`e}ne},
  volume =       5170,
  series =       lncs,
  publisher =    sv,
  year =         2008
}