Basin, D. A., & Walsh, T. (1996). A Calculus for and Termination of Rippling. In H., Zhang (Ed.), Automated mathematical induction (pp. 147-180). Dordrecht, The Netherlands: Kluwer.