Rabung, J.; Lotts, M. Improving the Use of Cyclic Zippers in Finding Lower Bounds for Van Der Waerden Numbers. Electron. J. Combin. 2012, 19, P35.