1. Balasubramaniam, D., Jefferson, C., Kotthoff, L., Miguel, I., Nightingale, P. (2012). An automated approach to generating efficient constraint solvers. In Proceedings of the 2012 International conference on software engineering, ICSE 2012 (pp. 661–671). Piscataway, NJ, USA, IEEE Press.
2. Ball, T., Podelski, A., Rajamani, S.K. (2003). Boolean and Cartesian abstraction for model checking C programs. International Journal on Software Tools for Technology Transfer (STTT), 5(1):49–58.
3. Beldiceanu, N., Carlsson, M., Rampon, J.-X. (2010). Global constraint catalog. The Internet.
4. Benhamou, F. (1995). Interval constraint logic programming. In Podelski, A. (Ed.), Constraint programming: basics and trends, Lecture Notes in Computer Science (Vol. 910, pp. 1–21). Springer.
5. Benhamou, F. (1996). Heterogeneous constraint solving. In Algebraic and logic programming, ALP’96, Lecture Notes in Computer Science (Vol. 1139, pp. 62–76). Springer-Verlag.