Rippling: A Heuristic for Guiding Inductive Proofs (1993)

Cached

Download Links

by Alan Bundy , Andrew Stevens , Frank Van Harmelen , Andrew Ireland , Alan Smaill
Citations:162 - 39 self