Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
Ábrahám, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., et al. (2016). SC2: Satisfiability Checking Meets Symbolic Computation. In M. Kohlhase, M. Johansson, B. Miller, L. de Moura, & F. Tompa (Eds.), Intelligent Computer Mathematics (pp. 28-43). Berlin: Springer. doi:10.1007/978-3-319-42547-4_3.