%0 Journal Article %A A. Paz %T Formal series, finiteness properties and decision problems %J Annales Fennici Mathematici %D 1971 %V 471-500 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.5186/aasfm.1971.493/ %R 10.5186/aasfm.1971.493 %G en %F AFM_1971_471-500_a7