Dynamic rippling, middle-out reasoning and lemma discovery (2010)

by M Johansson, L Dixon, A Bundy
Venue:In Verification, Induction, Termination Analysis, volume 6463 of Lecture Notes in Computer Science