Program schemata and the first-order decision problem
scientific article; zbMATH DE number 3463144