PSPACE-Completeness of Reversible Deterministic Systems. - Demaine, Erik D.; Hearn, Robert A.; Hendrickson, Dylan; Lynch, Jayson (International Journal of Foundations of Computer Science, 2025)