@misc{indiciae6442b249148b,
  title = {Pushing Blocks via Checkable Gadgets: PSPACE-completeness of Push-1F and Block/Box Dude},
  author = {Hayashi Ani and Lily Chung and Erik D. Demaine and Jenny Diomidova and Della Hendrickson and Jayson Lynch},
  year = {2024},
  url = {https://arxiv.org/abs/2412.20079},
  note = {Source identifier: 2412.20079}
}