Larsson, U., & Wästlund, J. (2013). From Heaps of Matches to the Limits of Computability. The Electronic Journal of Combinatorics, 20(3), P41. https://doi.org/10.37236/2244