@misc{indiciae066dc03200b6,
  title = {Verified AIG Algorithms in ACL2},
  author = {Jared Davis and Sol Swords},
  year = {2013},
  doi = {10.4204/eptcs.114.8},
  url = {https://arxiv.org/abs/1304.7861},
  note = {Source identifier: 1304.7861}
}