Vesa Halava, Tero Harju. New proof for the undecidability of the circular PCP. Acta Informatica, 50(5-6):331-341, 2013. [doi]
@article{HalavaH13, title = {New proof for the undecidability of the circular PCP}, author = {Vesa Halava and Tero Harju}, year = {2013}, doi = {10.1007/s00236-013-0183-5}, url = {http://dx.doi.org/10.1007/s00236-013-0183-5}, researchr = {https://researchr.org/publication/HalavaH13}, cites = {0}, citedby = {0}, journal = {Acta Informatica}, volume = {50}, number = {5-6}, pages = {331-341}, }