A Calculus for and Termination of Rippling (1996)

View PDF

Download Links

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