Jalonenand Kari. Conjugacy of One-dimensional One-sided Cellular Automata Is Undecidable. 23 Oct. 2017.