T. Čížek, M. Balko, and M. Schmid, “Massively Parallel Proof-Number Search for Impartial Games and Beyond”, AAAI, vol. 40, no. 43, pp. 36838–36846, Mar. 2026.