The ergodic-theoretical proof of Szemerédi’s theorem (1982)

by H Furstenberg, Y Katznelson, D Ornstein