Path: utzoo!attcan!uunet!seismo!sundc!pitstop!sun!quintus!ok
From: ok@quintus.uucp (Richard A. O'Keefe)
Newsgroups: comp.lang.prolog
Subject: Re: iterative deepening [was Re: The meaning of "declarative"]
Message-ID: <693@quintus.UUCP>
Date: 17 Nov 88 04:45:34 GMT
References: <ALF.88Oct2184429@hathor.sics.se > <818@etive.ed.ac.uk> <687@quintus.UUCP> <7919@megaron.arizona.edu>
Sender: news@quintus.UUCP
Reply-To: ok@quintus.UUCP (Richard A. O'Keefe)
Organization: Quintus Computer Systems, Inc.
Lines: 6

In article <7919@megaron.arizona.edu> debray@arizona.edu (Saumya K. Debray) writes:
>Richard E. Korf, "Depth-first Iterative-Deepening: An Optimal
>Admissible Tree Search", Artificial Intelligence 27 (1985)
>pp. 97-109.

Apparently he also had a paper about this in IJCAI '85.