diff -r 36ba44fe0781 -r 66f8cf4f82d9 doc-src/manual.bib
--- a/doc-src/manual.bib	Mon Jun 27 14:56:37 2011 +0200
+++ b/doc-src/manual.bib	Mon Jun 27 14:56:39 2011 +0200
@@ -822,6 +822,12 @@
   month = "Feb.",
   year = 2010}
 
+@book{loveland-78,
+  author = "D. W. Loveland",
+  title = "Automated Theorem Proving: A Logical Basis",
+  year = 1978,
+  publisher = "North-Holland Publishing Co."}
+
 @InProceedings{lowe-fdr,
   author	= {Gavin Lowe},
   title		= {Breaking and Fixing the {Needham}-{Schroeder} Public-Key