On the induction schema for decidable predicates
scientific article; zbMATH DE number 2061944