Set-polynomials and polynomial extension of the Hales-Jewett theorem. Bergelson, V.; Leibman, A. — 1999 Annals of Mathematics. Second Series
Multiple Recurrence Theorem for Nilpotent Group Actions. A. Leibman — 1994 Geometric and functional analysis