Kishimoto, A. Dealing With Infinite Loops, Underestimation, and Overestimation of Depth-First Proof-Number Search. AAAI 2010, 24, 108-113.