L.: The Yices SMT solver. Available http://yices.csl.sri.com/ tool-paper.pdf (2006). Accessed 21 Feb 2013 (0)

by B Dutertre, de Moura