@misc{indiciaeb59cd49809fa,
  title = {Term-Level Reasoning in Support of Bit-blasting},
  author = {Sol Swords},
  year = {2017},
  doi = {10.4204/eptcs.249.7},
  url = {https://arxiv.org/abs/1705.01231},
  note = {Source identifier: 1705.01231}
}