Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:1607.06945.pdf (Preprint), 90KB
Ábrahám, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., et al. (2016). Satisfiability Checking and Symbolic Computation. Retrieved from http://arxiv.org/abs/1607.06945.