@misc{indiciae281ac41d0d22,
  title = {Atropos-k is PSPACE-complete},
  author = {Chao Yang and Zhujun Zhang},
  year = {2024},
  doi = {10.1016/j.dam.2025.03.010},
  url = {https://arxiv.org/abs/2403.01662},
  note = {Source identifier: 2403.01662}
}