TY - RPRT TI - Atropos-k is PSPACE-complete AU - Chao Yang AU - Zhujun Zhang PY - 2024 DO - 10.1016/j.dam.2025.03.010 UR - https://arxiv.org/abs/2403.01662 ID - 2403.01662 ER -