Formal Languages, Word Problems of Groups and Decidability
scientific article; zbMATH DE number 6313955