--- 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},