Элементарные теории конечно-порожденных про-р-колец. Е.Н. Пахотин — 1987 Sibirskij matematiceskij zurnal