The conjugacy problem in automaton groups is not solvable | Publicación