The Conjugacy Problem And Higman Embeddings by A. Yu Ol'Shanskii, V. Sapir & A.Y. Ol'Shanskii