The conjugacy problem and Higman embeddings / - Olʹshanskiĭ, A. I͡U︡. (American Mathematical Society, 2004)