Undecidability of infinite post correspondence problem for instances of Size 9
RAIRO-Theor. Inf. Appl., 40 4 (2006) 551-557
Published online: 08 November 2006
DOI: 10.1051/ita:2006039