Ábrahám, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., et al. (2016). Satisfiability Checking and Symbolic Computation. ACM Communications in Computer Algebra, 50(4), 145-147. doi:10.1145/3055282.3055285.