1. Suraq — Synthesizer using Uninterpreted functions, aRrays and eQuality (2014),
http://www.iaik.tugraz.at/content/research/design_verification/suraq/
2. Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB Standard: Version 2.0. In: Proc. of the 8th Int. Workshop on Satisfiability Modulo Theories (2010)
3. Lecture Notes in Computer Science;T. Bouton,2009
4. Lecture Notes in Computer Science;A.R. Bradley,2006
5. Lecture Notes in Computer Science;J.R. Burch,1994