Mit regulären Grundbegriffen definierbare Prädikate
scientific article; zbMATH DE number 3487423