Undecidability of infinite post correspondence problem for instances of Size 9Vesa Halava and Tero HarjuRAIRO-Theor. Inf. Appl., 40 4 (2006) 551-557DOI: https://doi.org/10.1051/ita:2006039
