@article {DBLP:journals/cca/BrightKG18,
	title = {The SAT+CAS paradigm and the Williamson conjecture},
	journal = {ACM Commun. Comput. Algebra},
	volume = {52},
	number = {3},
	year = {2018},
	pages = {82{\textendash}84},
	doi = {10.1145/3313880.3313889},
	url = {https://doi.org/10.1145/3313880.3313889},
	author = {Curtis Bright and Ilias S. Kotsireas and Vijay Ganesh}
}
