T. Kaneko, “Parallel Depth First Proof Number Search”, AAAI, vol. 24, no. 1, pp. 95–100, Jul. 2010.