Bruno Gaujal, Alain Jean-Marie, Jean Mairesse. Computations of Uniform Recurrence Equations Using Minimal Memory Size.
SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2000, 30 (5), pp.1701-1738.
⟨10.1137/S0097539795290350⟩.
⟨inria-00074113v2⟩