Paz A. Formal series, finiteness properties and decision problems. Ann. Fenn. Math. [Internet]. 1971Jan.23 [cited 2024Nov.26];(493). Available from: https://afm.journal.fi/article/view/134149