%0 Journal Article
%A Dong, Jing
%A Liu, Qinghui
%T Undecidability of infinite post correspondence problem for instances of size 8
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2012
%P 451-457
%V 46
%N 3
%I EDP-Sciences
%U http://www.numdam.org/articles/10.1051/ita/2012015/
%R 10.1051/ita/2012015
%G en
%F ITA_2012__46_3_451_0