1. Lecture Notes in Computer Science;A. Biere,1999
2. Lecture Notes in Computer Science;K.L. McMillan,2003
3. Gupta, A., Ganai, M., Yang, Z., Ashar, P.: Iterative Abstraction using SAT-based BMC with Proof Analysis. In: Proceedings of International Conference on Computer-Aided Design (ICCAD 2004), pp. 416–423 (2004)
4. Lecture Notes in Computer Science;P. Chauhan,2002
5. Li, B., Wang, C., Somenzi, F.: A Satisfiability-Based Approach to Abstraction Refinement in Model Checking. In: Proceedings of Bounded Model Checking (BMC 2003). ENTCS, vol. 89(4) (2003)