A.: Case-Analysis for Rippling and (2010)

by M Johansson, L Dixon, Bundy
Venue:Inductive Proof. In: ITP