(sec:5.5)= # Further reading # Korf (1987) gives a comprehensive overview of search methods in Artificial Intelligence. He is also the originator of the iterative deepening search strategy (Korf, 1985). The model generation program in {numref}`sec:5.4` is adapted from (Manthey & Bry, 1988). +++ * R.E. Korf (1985), 'Depth-first iterative deepening: an optimal admissible tree search', *Artificial Intelligence* **27**: 97-109. * R.E. Korf (1987), 'Search'. In *Encyclopedia of Artificial Intelligence*, S.C. Shapiro (ed.), pp. 994-998, John Wiley. * R. Manthey & F. Bry (1988), 'SATCHMO: a theorem prover implemented in Prolog'. In E. Lusk & R. Overbeek (eds), *Proc. 9th International Conference on Automated Deduction*, Lecture Notes in Computer Science 310, pp. 415-434, Springer-Verlag.