J. Albert Karel Culik II Test Sets for Homomorphism Equivalence on Context Free Languages. 12-18 1980 conf/icalp/1980 ICALP db/conf/icalp/icalp80.html#AlbertC80 http://dx.doi.org/10.1007/3-540-10003-2_55