Vesa Halava, Tero Harju, Juhani Karhumäki. Decidability of the binary infinite Post Correspondence Problem. Discrete Applied Mathematics, 130(3):521-526, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.