Case-analysis for rippling and inductive proof (2010)

by M Johansson, L Dixon, A Bundy
Venue:In Interactive Theorem Proving (ITP