Karel Culik II Arto Salomaa On the Decidability of Homomorphism Equivalence for Languages. 163-175 1978 17 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss17.html#CulikS78