1. Integrating simplex with DPLL (T);dutertre;Computer Science Laboratory SRI International Tech Rep SRICSL-06-01,2006
2. A Fast Linear-Arithmetic Solver for DPLL(T)
3. Goal structuring notation community standard;Rapport technique Technical Report SCSC-141BA v2 0 Safety Critical Systems Club,2018
4. PVS prover guide;shankar;Computer Science Laboratory,2001
5. Z3: An efficient SMT solver;moura;International Conference on Tools and Algorithms for the Construction and Analysis of Systems,2008