Rabung, J., and M. Lotts. “Improving the Use of Cyclic Zippers in Finding Lower Bounds for Van Der Waerden Numbers”. The Electronic Journal of Combinatorics, Vol. 19, no. 2, June 2012, p. P35, doi:10.37236/2363.