]. E. Abrahám, ]. E. Abrahám, J. Abbott, B. Becker, A. M. Bigatti et al., Building Bridges between Symbolic Computation and Satisfiability Checking, Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC '15, pp.1-6, 2015.
DOI : 10.1007/978-3-642-17511-4_27

C. Barrett, R. Sebastiani, S. A. Seshia, and C. Tinelli, Satisfiability modulo theories, Handbook of Satisfiability, pp.825-885, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01095009

A. Platzer, J. D. Quesel, and &. P. Rümmer, Real World Verification, Proc. CADE-22, pp.485-501, 2009.
DOI : 10.1007/978-3-540-70545-1_17
URL : http://symbolaris.com/pub/rwv.pdf