Zulkoski, E. ., Bright, C. ., Heinle, A. ., Kotsireas, I. ., Czarnecki, K. ., & Ganesh, V. . (2017). Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures. Journal of Automated Reasoning, 58, 339. https://doi.org/10.1007/s10817-016-9396-y (Original work published 2011)