A Decidable Fragment of Recursive Arithmetic
scientific article; zbMATH DE number 3185961