A calculus for and termination of rippling
scientific article; zbMATH DE number 887167