Abstract. Let A be a local Artinian Gorenstein ring with algebraically closed residue field A/M = k of characteristic 0, and letbe its Poicaré series. We prove that P A (z) is rational if either dim k (M 2 /M 3 ) ≤ 4 and dim k (A) ≤ 16, or there exist m ≤ 4 and c such that the Hilbert function H A (n) of A is equal to m for n ∈ [2, c] and equal to 1 for n > c.