Well-behaved principles alternative to bounded induction
scientific article; zbMATH DE number 2111102
scientific article