@Inproceedings{EPTCS70.2, author = {Cowles, John R. and Gamboa, Ruben}, year = {2011}, title = {Verifying Sierpi\'nski and Riesel Numbers in ACL2}, editor = {Hardin, David and Schmaltz, Julien}, booktitle = {{\rm Proceedings 10th International Workshop} on the ACL2 Theorem Prover and its Applications, {\rm Austin, Texas, USA, November 3-4, 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {70}, publisher = {Open Publishing Association}, pages = {20-27}, doi = {10.4204/EPTCS.70.2}, }