TY  - RPRT
TI  - PSPACE-Completeness of Reversible Deterministic Systems
AU  - Erik D. Demaine
AU  - Robert A. Hearn
AU  - Dylan Hendrickson
AU  - Jayson Lynch
PY  - 2022
UR  - https://arxiv.org/abs/2207.07229
ID  - 2207.07229
ER  -