TY  - RPRT
TI  - From High to Low: Simulating Nondeterminism and State with State
AU  - Wenhao Tang
AU  - Tom Schrijvers
PY  - 2023
DO  - 10.1017/s0956796824000133
UR  - https://arxiv.org/abs/2312.02054
ID  - 2312.02054
ER  -