@misc{indiciae0d33cd1f25c5,
  title = {Verification Challenges at Low Numbers},
  author = {Benz, Jacob M. and Booker, Paul M. and McDonald, Benjamin S.},
  year = {2013},
  url = {https://www.osti.gov/biblio/1144832},
  note = {Source identifier: 1144832}
}