Productive use of failure in inductive proof
scientific article; zbMATH DE number 887165
scientific article