Horváth, S., E. Kinber, A. Salomaa, and S. Yu. “Decision Problems Resulting from Grammatical Inference”. Annales Fennici Mathematici, vol. 12, no. 2, Aug. 1987, pp. 287-98, doi:10.5186/aasfm.1987.1213.