Larry J. Stockmeyer Ashok K. Chandra Provably Difficult Combinatorial Games. 151-174 1979 8 SIAM J. Comput. 2 db/journals/siamcomp/siamcomp8.html#StockmeyerC79