Horváth, S., Kinber, E., Salomaa, A. and Yu, S. (1987) “Decision problems resulting from grammatical inference”, Annales Fennici Mathematici, 12(2), pp. 287–298. doi: 10.5186/aasfm.1987.1213.