@misc{indiciae2e1915f328c0,
  title = {DECOVALEX 2023 Task D -- Interim Report from SNL},
  author = {Jove-Colon, Carlos and Lopez, Carlos M. and Kuhlman, Kristopher},
  year = {2022},
  doi = {10.2172/1869057},
  url = {https://www.osti.gov/biblio/1869057},
  note = {Source identifier: 1869057}
}