1. Bakker, R.R., Dikker, F., Tempelman, F., & Wognum, P.M. (1993). Diagnosing and solving over-determined constraint satisfaction problems. In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI’93), vol. 1, pp. 276–281.
2. Belov, A., Järvisalo, M., & Marques-Silva, J. (2013). Formula preprocessing in MUS extraction. In N. Piterman, & S. Smolka (Eds.) Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), Lecture Notes in Computer Science, vol. 7795, pp. 110–125. Springer.
3. Belov, A., Lynce, I., & Marques-Silva, J. (2012). Towards efficient MUS extraction. AI Commununications, 97–116.
4. Belov, A., & Marques-Silva, J. (2011). Accelerating MUS extraction with recursive model rotation. In Proceedings of the 11th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2011), pp. 37–40. FMCAD.
5. Belov, A., & Marques-Silva, J. (2012). MUSer2: An efficient MUS extractor, system description. Journal on Satisfiability. Boolean Modeling and Computation, 8, 123–128.