@Inproceedings{EPTCS249.7, author = {Swords, Sol}, year = {2017}, title = {Term-Level Reasoning in Support of Bit-blasting}, editor = {Slobodova, Anna and Hunt, Jr., Warren}, booktitle = {{\rm Proceedings 14th International Workshop on the} ACL2 Theorem Prover and its Applications, {\rm Austin, Texas, USA, May 22-23, 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {249}, publisher = {Open Publishing Association}, pages = {95-111}, doi = {10.4204/EPTCS.249.7}, }