@misc{indiciae8d53ca97ba06,
  title = {Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4},
  author = {Matt Kaufmann and J Strother Moore},
  year = {2014},
  doi = {10.4204/eptcs.152.1},
  url = {https://arxiv.org/abs/1406.1556},
  note = {Source identifier: 1406.1556}
}