Clique-convergence is undecidable for automatic graphs. - C. Cedillo; Miguel A. Pizaña (J. Graph Theory, 2021)