1. Bjørner, N., Dutertre, B., de Moura, L.: Accelerating Lemma Learning Using Joins – DPLL(⊔). In: Int. Conf. Logic for Programming, Artif. Intell. and Reasoning, LPAR (2008)
2. Benhamou, F., Granvilliers, L.: Continuous and interval constraints. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, ch. 16. Elsevier, Amsterdam (2006)
3. Barrett, C., Ranise, S., Stump, A., Tinelli, C.: The Satisfiability Modulo Theories Library, SMT-LIB (2008), http://www.SMT-LIB.org
4. Barrett, C., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability Modulo Theories February 2009. Frontiers in Artificial Intelligence and Applications, ch. 26, vol. 185, pp. 825–885. IOS Press, Amsterdam (2009)
5. Lecture Notes in Artificial Intelligence;L. Moura de,2008