A Calculus for and Termination of Rippling (1996)

by DAVID BASIN, TOBY WALSH
Venue:J. Automated Reasoning