Ábrahám, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J. H., England, M.,
Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. M., & Sturm, T. (2016).
Satisfiability Checking and Symbolic Computation. Retrieved from http://arxiv.org/abs/1607.06945.