On the n-permutation Post Correspondence Problem. - Mari Ernvall; Vesa Halava; Tero Harju (Theor. Comput. Sci., 2015)