Decidability of regularity and related properties of ground normal form languages
scientific article; zbMATH DE number 758652