%0 Journal Article
%A Halava, Vesa
%A Harju, Tero
%T Undecidability of infinite post correspondence problem for instances of size 9
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2006
%P 551-557
%V 40
%N 4
%I EDP-Sciences
%U http://www.numdam.org/articles/10.1051/ita:2006039/
%R 10.1051/ita:2006039
%G en
%F ITA_2006__40_4_551_0