Еще одно доказательство теоремы Тарского-Зайденберга. Е.И. Коркина; А.Г. Кушниренко — 1985 Sibirskij matematiceskij zurnal