A Calculus for and Termination of Rippling (1996)

Cached

Download Links

by David A. Basin , Toby Walsh
Venue:Journal of Automated Reasoning
Citations:41 - 2 self