Horváth, Sándor, Efim Kinber, Arto Salomaa, and Sheng Yu. 1987. “Decision Problems Resulting from Grammatical Inference”. Annales Fennici Mathematici 12 (2):287-98. https://doi.org/10.5186/aasfm.1987.1213.