Searching for i-Good Lemmas to Accelerate Safety Model Checking. - Xia, Yechuan; Becchi, Anna; Cimatti, Alessandro; Griggio, Alberto; Li, Jianwen; Pu, Geguang (2023)