1. Some remarks on PCP(k) and related problems;Claus;Bull. Eur. Assoc. Theor. Comput. Sci. EATCS,1980
2. Word problem for deterministic and reversible semi-Thue systems;Halava;Semigroup Forum,2014
3. New proof for the undecidability of the circular PCP;Halava;Acta Inform.,2013
4. Noneffective regularity of equality languages and bounded delay morphisms;Karhumäki;Discrete Math. Theor. Comput. Sci.,2010
5. Récursive insolubilité de l'équation générale de diagonalisation de deux monomorphismes de monoïdes libres φx=ψx;Lecerf;C. R. Acad. Sci.,1963