Rabung, John, and Mark Lotts. 2012. “Improving the Use of Cyclic Zippers in Finding Lower Bounds for Van Der Waerden Numbers”. The Electronic Journal of Combinatorics 19 (2), P35. https://doi.org/10.37236/2363.