Pruning with improving sequences in lazy functional programs
scientific article; zbMATH DE number 6122819