1. Belov, A., Lynce, I., Marques-Silva, J.: Towards efficient MUS extraction. AI Commun. 25(2), 97–116 (2012)
2. Biere, A.: Bounded model checking. In: Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185, pp. 457–481. IOS Press (2009)
3. Bloem, R., Galler, S., Jobstmann, B., Piterman, N., Pnueli, A., Weiglhofer, M.: Automatic hardware synthesis from specifications: A case study. In: Proceedings of DATE 2007, pp. 1–6. IEEE (2007)
4. Lecture Notes in Computer Science;A.R. Bradley,2011
5. Claessen, K., Sörensson, N.: A liveness checking algorithm that counts. In: Proceedings of FMCAD 2012, pp. 52–59. IEEE (2012)