TY - RPRT TI - Modeling Results Update: DECOVALEX 2023, Task D, Step 1, Experiment 3. AU - Lopez, Carlos AU - Jove-Colon, Carlos AU - Kuhlman, Kristopher PY - 2021 UR - https://www.osti.gov/biblio/1898494 ID - 1898494 ER -