Experiments with proof plans for induction
scientific article; zbMATH DE number 4213477