doc-src/manual.bib
changeset 8284 95c022a866ca
parent 8062 c9765800a4fa
child 8505 d6e324af32d7
--- 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},