--- a/doc-src/manual.bib Tue Feb 22 21:53:17 2000 +0100
+++ b/doc-src/manual.bib Wed Feb 23 10:41:37 2000 +0100
@@ -18,6 +18,7 @@
@string{Edinburgh="Dept. Comp. Sci., Univ. Edinburgh"}
%journals
+@string{AI="Artificial Intelligence"}
@string{FAC="Formal Aspects Comput."}
@string{JAR="J. Auto. Reas."}
@string{JCS="J. Comput. Secur."}
@@ -390,9 +391,20 @@
title = {Locales: A Sectioning Concept for {Isabelle}},
crossref = {tphols99}}
-@book{Knuth3-75,author={Donald E. Knuth},
-title={The Art of Computer Programming, Volume 3: Sorting and Searching},
-publisher={Addison-Wesley},year=1975}
+@book{Knuth3-75,
+ author={Donald E. Knuth},
+ title={The Art of Computer Programming, Volume 3: Sorting and Searching},
+ publisher={Addison-Wesley},
+ year=1975}
+
+@Article{korf85,
+ author = {R. E. Korf},
+ title = {Depth-First Iterative-Deepening: an Optimal Admissible
+ Tree Search},
+ journal = AI,
+ year = 1985,
+ volume = 27,
+ pages = {97-109}}
@Book{kunen80,
author = {Kenneth Kunen},