About the Completeness of Depth-First Proof-Number Search. - Kishimoto, Akihiro; Müller, Martin (2008)