Decidability of regularity and related properties of ground normal form languages

G. Kucherov, M. Tajine — Information and Computation, vol. 118, pp. 91-100, 1995.