On the decidability of the theory of free groups (in Russian) = К Вопросу О Раэрещимости Теории Свободной Группы.

G. S. Makanin

Browse the full FCT paper archive.