P, NP and the Post Correspondence Problem

P, NP and the Post Correspondence Problem Alexandru Mateescu Arto Salomaa Kai Salomaa Sheng Yu 135-142 Inf. Comput. September 1995 121 2 db/journals/iandc/iandc121.html#MateescuSSY95