Piotr Rudnicki Gerhard J. Woeginger The post correspondence problem over a unary alphabet. 723-727 2003 16 Appl. Math. Lett. 5 http://dx.doi.org/10.1016/S0893-9659(03)00073-9 db/journals/appml/appml16.html#RudnickiW03