J. Rabung and M. Lotts, “Improving the Use of Cyclic Zippers in Finding Lower Bounds for van der Waerden Numbers”, Electron. J. Combin., vol. 19, no. 2, p. P35, Jun. 2012.