@inproceedings{bright2016synasc,
  title={\textsc{MathCheck2}: A {SAT}+{CAS} Verifier for Combinatorial Conjectures},
  author={Bright, Curtis and Ganesh, Vijay and Heinle, Albert and Kotsireas, Ilias and Nejati, Saeed and Czarnecki, Krzysztof},
  booktitle={Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation},
  url={https://ceur-ws.org/Vol-1804/paper-04.pdf},
  pages={13--19},
  year={2016}
}