A calculus for and termination of rippling (1996)

by David Basin, Toby Walsh
Venue:Journal of Automated Reasoning