1. Bradley, A.R.: k-step relative inductive generalization. Technical report, CU Boulder (March 2010),
http://arxiv.org/abs/1003.3649
2. Lecture Notes in Computer Science;A.R. Bradley,2011
3. Bradley, A.R.: Understanding IC3. In: SAT (June 2012)
4. Bradley, A.R., Somenzi, F., Hassan, Z., Zhang, Y.: An incremental approach to model checking progress properties. In: FMCAD (November 2011)
5. LNCS;Z. Hassan,2012