1. Barrett, C., Deters, M., Oliveras, A., Stump, A.: SMT-Comp (2008), www.smtcomp.org
2. Lecture Notes in Computer Science;C. Barrett,2002
3. Barrett, C., Ranise, S., Stump, A., Tinelli, C.: The Satisfiability Modulo Theories Library (SMT-LIB) (June 2008), www.SMT-LIB.org
4. Bradley, A., Manna, Z.: The Calculus of Computation: Decision Procedures with Applications to Verification. Springer, Heidelberg (2007)
5. Brummayer, R., Biere, A.: Lemmas on Demand for the Extensional Theory of Arrays. In: Proc. SMT 2008, ACM Press, New York (2008)