Undecidability of infinite post correspondence problem for instances of size 8Jing Dong and Qinghui LiuRAIRO-Theor. Inf. Appl., 46 3 (2012) 451-457DOI: https://doi.org/10.1051/ita/2012015