@misc{indiciae45f6cf5258d9,
  title = {DECOVALEX-2023 Task E (BATS) Specification.},
  author = {Kuhlman, Kristopher L},
  year = {2020},
  url = {https://www.osti.gov/biblio/1781308},
  note = {Source identifier: 1781308}
}