@misc{indiciae001831fffa9b,
  title = {Consistent defaulted comparisons},
  author = {Herring, Stuart Davis},
  year = {2020},
  url = {https://www.osti.gov/biblio/1603978},
  note = {Source identifier: 1603978}
}