Properties of Iterative Deepening Search