Vesa Halava Tero Harju Infinite Solutions of Marked Post Correspondence Problem. 57-68 2002 conf/birthday/2002rozenberg Formal and Natural Computing http://link.springer.de/link/service/series/0558/bibs/2300/23000057.htm db/conf/birthday/rozenberg2002.html#HalavaH02