@conference {DBLP:conf/casc/BrightGHKNC16,
	title = {MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures},
	booktitle = {Computer Algebra in Scientific Computing - 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
	series = {Lecture Notes in Computer Science},
	volume = {9890},
	year = {2016},
	pages = {117{\textendash}133},
	publisher = {Springer},
	organization = {Springer},
	doi = {10.1007/978-3-319-45641-6_9},
	url = {https://doi.org/10.1007/978-3-319-45641-6_9},
	author = {Curtis Bright and Vijay Ganesh and Albert Heinle and Ilias S. Kotsireas and Saeed Nejati and Krzysztof Czarnecki},
	editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}
}
