A Calculus for and Termination of Rippling

Automated Mathematical Induction ◽

10.1007/978-94-009-1675-3_5 ◽

1996 ◽

pp. 147-180 ◽

Cited By ~ 1

Author(s):

David A. Basin ◽

Toby Walsh

Download Full-text