1.1 --- a/doc-src/manual.bib	Tue Feb 22 21:53:17 2000 +0100
     1.2 +++ b/doc-src/manual.bib	Wed Feb 23 10:41:37 2000 +0100
     1.3 @@ -18,6 +18,7 @@
     1.4  @string{Edinburgh="Dept. Comp. Sci., Univ. Edinburgh"}
     1.5  
     1.6  %journals
     1.7 +@string{AI="Artificial Intelligence"}
     1.8  @string{FAC="Formal Aspects Comput."}
     1.9  @string{JAR="J. Auto. Reas."}
    1.10  @string{JCS="J. Comput. Secur."}
    1.11 @@ -390,9 +391,20 @@
    1.12    title = 	 {Locales: A Sectioning Concept for {Isabelle}},
    1.13    crossref =	 {tphols99}}
    1.14  
    1.15 -@book{Knuth3-75,author={Donald E. Knuth},
    1.16 -title={The Art of Computer Programming, Volume 3: Sorting and Searching},
    1.17 -publisher={Addison-Wesley},year=1975}
    1.18 +@book{Knuth3-75,
    1.19 +  author={Donald E. Knuth},
    1.20 +  title={The Art of Computer Programming, Volume 3: Sorting and Searching},
    1.21 +  publisher={Addison-Wesley},
    1.22 +  year=1975}
    1.23 +
    1.24 +@Article{korf85,
    1.25 +  author	= {R. E. Korf},
    1.26 +  title		= {Depth-First Iterative-Deepening: an Optimal Admissible
    1.27 +		 Tree Search},
    1.28 +  journal	= AI,
    1.29 +  year		= 1985,
    1.30 +  volume	= 27,
    1.31 +  pages		= {97-109}}
    1.32  
    1.33  @Book{kunen80,
    1.34    author	= {Kenneth Kunen},