@misc{indiciaed53608543598,
  title = {DECOVALEX 2023 TASK G: Step1 Benchmark Exercise: G1-M-BE-2D SNL Modeling Progress.},
  author = {Hadgu, Teklu and Wang, Yifeng},
  year = {2021},
  doi = {10.2172/1866324},
  url = {https://www.osti.gov/biblio/1866324},
  note = {Source identifier: 1866324}
}