TY  - RPRT
TI  - DECOVALEX 2023 Task D -- Interim Report from SNL
AU  - Jove-Colon, Carlos
AU  - Lopez, Carlos M.
AU  - Kuhlman, Kristopher
PY  - 2022
DO  - 10.2172/1869057
UR  - https://www.osti.gov/biblio/1869057
ID  - 1869057
ER  -