A. Tavčar, “Analysis of a Single-Agent Search”, IJCAI, vol. 36, no. 2.