RABUNG, J.; LOTTS, M. Improving the Use of Cyclic Zippers in Finding Lower Bounds for van der Waerden Numbers. The Electronic Journal of Combinatorics, v. 19, n. 2, p. P35, 6 Jun. 2012.