U. Larsson and J. Wästlund, “From Heaps of Matches to the Limits of Computability”, Electron. J. Combin., vol. 20, no. 3, p. P41, Sep. 2013.