The algorithmic unsolvability of checking certain properties of groups (1955)

by S I Adjan
Venue:Dokl. Akad. Nauk SSSR 103