A. Kishimoto, “Dealing with Infinite Loops, Underestimation, and Overestimation of Depth-First Proof-Number Search”, AAAI, vol. 24, no. 1, pp. 108–113, Jul. 2010.