Improving the Use of Cyclic Zippers in Finding Lower Bounds for van der Waerden Numbers. - John R. Rabung; Mark Lotts (Electron. J. Comb., 2012)