Chover's law of the iterated logarithm for trimmed sums

Consider a sequence of independent and identically distributed random variables with the underlying distribution in the domain of attraction of a stable distribution with an exponent in (0,2]. Define the trimmed sums as the partial sums excluding r largest observations in magnitude, where r is a fixed integer. This paper proves that Chover's law of the iterated logarithm holds for the trimmed sums.