Rippling: A heuristic for guiding inductive proofs (1993)

by A Bundy, A Stevens, F van Harmelen, A Ireland, A Smaill
Venue:Arti Intelligence