Larsson, U.; Wästlund, J. From Heaps of Matches to the Limits of Computability. Electron. J. Combin. 2013, 20, P41.