1. Lecture Notes in Computer Science;C. Barrett,2004
2. Barrett, C., Deters, M., Oliveras, A., Stump, A.: SMT-COMP 2010: the 2010 edition of the satisfiability modulo theories competition, http://www.smtcomp.org/2010/
3. Barrett, C., Dill, D., Levitt, J.: Validity checking for combinations of theories with equality, pp. 187–201. Springer, Heidelberg (1996)
4. Lecture Notes in Computer Science;C. Barrett,2007
5. Lecture Notes in Computer Science;M. Bofill,2008