Kaneko, T. Parallel Depth First Proof Number Search. AAAI 2010, 24, 95-100.