Pretorius LM, Swanepoel KJ: 2004. An algorithmic proof of the Motzkin-Rabin theorem on monochrome lines. / March, pp 245-251.