# HG changeset patch
# User haftmann
# Date 1285072947 -7200
# Node ID ee794da3205859a210746c3424d257ffe3526763
# Parent  d9c247f7afa327ea6bb7f8783ff62861317a0944
added nbe paper

diff -r d9c247f7afa3 -r ee794da32058 doc-src/manual.bib
--- a/doc-src/manual.bib	Tue Sep 21 14:36:13 2010 +0200
+++ b/doc-src/manual.bib	Tue Sep 21 14:42:27 2010 +0200
@@ -67,6 +67,19 @@
   publisher	= {CSLI},
   year		= 1988}
 
+@inproceedings{Aehlig-Haftmann-Nipkow:2008:nbe,
+  author =      {Klaus Aehlig and Florian Haftmann and Tobias Nipkow},
+  title =       {A Compiled Implementation of Normalization by Evaluation},
+  booktitle =   {TPHOLs '08: Proceedings of the 21th International Conference on Theorem Proving in Higher Order Logics},
+  year =        {2008},
+  isbn =        {978-3-540-71065-3},
+  pages =       {352--367},
+  publisher =   Springer,
+  series =      LNCS,
+  volume =      {5170},
+  editor =      {Otmane A\"{\i}t Mohamed and C{\'e}sar Mu{\~n}oz and Sofi{\`e}ne Tahar}
+}
+
 @InProceedings{alf,
   author	= {Lena Magnusson and Bengt {Nordstr\"{o}m}},
   title		= {The {ALF} Proof Editor and Its Proof Engine},